Symbolic model checking for large software specifications

Authors:
Woon Chung Chan;Richard J. Anderson;David Notkin
Affiliations:
-;-;-
Venue:
Symbolic model checking for large software specifications
Year:
1999

Citing 0
Cited 2

Formalization of fFSM model and its verification

ICESS'05 Proceedings of the Second international conference on Embedded Software and Systems
Avoidance of state explosion using dependency analysis in model checking control flow model

ICCSA'06 Proceedings of the 2006 international conference on Computational Science and Its Applications - Volume Part V

Quantified Score

Hi-index	0.00

Visualization

Abstract