Search
for Author
All Reviews
Bauch, Petr
Options:
All Media Types
Journals
Proceedings
Div Books
Whole Books
Other
Date Reviewed
Title
Author
Publisher
Published Date
Descending
Ascending
Date Reviewed
1
-
1
of
1
reviews
Control explicit--data symbolic model checking
Bauch P., Havel V., Barnat J. ACM Transactions on Software Engineering and Methodology 25(2): 1-48, 2016. Type: Article
There is a recent trend toward the automation of the model checking and computer program verification process. The program or the model being verified and its verifiable property need to be restricted in the finite state spaces. The au...
...
Jun 9 2016
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2024 ThinkLoud
®
Terms of Use
|
Privacy Policy