Biblio
Found 3 results
"Adaptive Model Checking",
Logic Journal of the IGPL, vol. 14, issue 5, pp. 729-744, 10/2006.
Abstract
"AMC: An Adaptive Model Checker",
Computer Aided Verification (CAV), Copenhagen, Denmark, Springer-Verlag, pp. 521–525, 07/2002.
Abstract
"Adaptive Model Checking",
Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Grenoble, France, pp. 357--370, 04/2002.
Abstract
Facebook
LinkedIn