25 Years of Model Checking: History, Achievements, Perspectives

Authors:
Orna Grumberg;Helmut Veith
Affiliations:
-;-
Venue:
25 Years of Model Checking: History, Achievements, Perspectives
Year:
2008

Citing 0
Cited 1

Improving formal verification practicability through user oriented models and context-awareness

Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation

Quantified Score

Hi-index	0.01

Visualization

Abstract