Skip to main content

SAT−Solving in CSP Trace Refinement

Hristina Palikareva‚ Joel Ouaknine and A. W. Roscoe

Book Title
Special Issue on Automated Verification of Critical Systems
Copyright
Elsevier
Editor
Markus Roggenbach
Journal
Science of Computer Programming‚ special issue on Automated Verification of Critical Systems
Number
10−11
Pages
1178−1197
Publisher
Elsevier
Volume
77
Year
2012