Efficient Detection of Vacuity in Temporal Model Checking

Formal Methods in System Design 2001 / 03 Vol. 18; Iss. 2

Efficient Detection of Vacuity in Temporal Model Checking

Ilan Beer, Shoham Ben-David, Cindy Eisner, Yoav Rodeh
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
18
Language:
english
Pages:
23
DOI:
10.1023/a:1008779610539
Date:
March, 2001
File:
PDF, 93 KB
english, 2001
Conversion to is in progress
Conversion to is failed