Abstract Interpretation and Verification of Reactive Systems
Authors:
J. C. Fernandez
Affiliations:
-
Venue:
WSA '93 Proceedings of the Third International Workshop on Static Analysis
Year:
1993
Citing
0
Cited
1
Refining Model Checking by Abstract Interpretation
Automated Software Engineering
Quantified Score
Hi-index
0.00
Visualization
Abstract