Avoiding slack variables in the solving of linear diophantine equations and inequations
Theoretical Computer Science - Special issue: principles and practice of constraint programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
Action Language: a specification language for model checking reactive systems
Proceedings of the 22nd international conference on Software engineering
Using Canonical Representations of Solutions to Speed Up Infinite-State Model Checking
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
The convex hull of a regular set of integer vectors is polyhedral and effectively computable
Information Processing Letters
Learning to verify branching time properties
Formal Methods in System Design
Structural Presburger digit vector automata
Theoretical Computer Science
The convex hull of a regular set of integer vectors is polyhedral and effectively computable
Information Processing Letters
Flat acceleration in symbolic model checking
ATVA'05 Proceedings of the Third international conference on Automated Technology for Verification and Analysis
LEVER: a tool for learning based verification
CAV'06 Proceedings of the 18th international conference on Computer Aided Verification
| Hi-index | 0.00 |