Search techniques and automata for symbolic model checking

Authors:
Fabio Somenzi;Roderick Paul Bloem
Affiliations:
-;-
Venue:
Search techniques and automata for symbolic model checking
Year:
2001

Citing 0
Cited 1

LTL translation improvements in spot

VECoS'11 Proceedings of the Fifth international conference on Verification and Evaluation of Computer and Communication Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract