Integer Programming in the Analysis of Concurrent Systems

Authors:
George S. Avrunin;Ugo A. Buy;James C. Corbett
Affiliations:
-;-;-
Venue:
CAV '91 Proceedings of the 3rd International Workshop on Computer Aided Verification
Year:
1991

Citing 0
Cited 3

Towards scalable compositional analysis

SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Verification of Safety Properties Using IntegerProgramming: Beyond the State Equation

Formal Methods in System Design
Identical tasks and counter variables in an integer programming-based approach to verification

IWSSD '93 Proceedings of the 7th international workshop on Software specification and design

Quantified Score

Hi-index	0.00

Visualization

Abstract