Checking System Properties via Integer Programming

Authors:
Stephan Melzer;Javier Esparza
Affiliations:
-;-
Venue:
ESOP '96 Proceedings of the 6th European Symposium on Programming Languages and Systems
Year:
1996

Citing 0
Cited 4

Verification of Safety Properties Using IntegerProgramming: Beyond the State Equation

Formal Methods in System Design
A Decompositional Approach for Computing Least Fixed-Pointsof Datalog Programs with Z-Counters

Constraints
The State of PEP

AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
ILP Models for the Synthesis of Asynchronous Control Circuits

Proceedings of the 2003 IEEE/ACM international conference on Computer-aided design

Quantified Score

Hi-index	0.00

Visualization

Abstract