SAT-based Assistance in Abstraction Refinement for Symbolic Trajectory Evaluation
Artikel i vetenskaplig tidskrift, 2006

Författare

Jan-Willem Roorda

Chalmers, Data- och informationsteknik, Datavetenskap

Koen Lindström Claessen

Chalmers, Data- och informationsteknik, Datavetenskap

Proceedings of the 18th International Conference on Computer Aided Verification, (CAV 2006) Lecture Notes in Computer Science

Vol. 4144 175-189

Ämneskategorier

Datavetenskap (datalogi)