Improving the effectiveness of system verification
- 30 Downloads
This special section presents three extended and revised papers which originally appeared in the proceedings of the 12th edition of the conference “Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2006” held in Braga, Portugal late March 2006 as a constituent event of the “European joint conferences on Theory and Practice of Software”. All three papers deal with very promising extensions and integrations of formal verification techniques.
KeywordsModel Check Special Section Coverage Criterion Symbolic Model Check Bound Model Check
- 2.Cimatti, A., Clarke, E., Giunchiglia, E., Giunchiglia, F. Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: NuSMV version 2: An opensource tool for symbolic model checking. In: Proceedings of International Conference on Computer-Aided Verification. Lecture Notes in Computer Science, vol. 2404, pp. 359–364. Springer, Heidelberg (2002)Google Scholar
- 3.Kroening, D., Clarke, E.M., Lerda, F.: A tool for checking ANSI-C programs. In: Tools and Algorithms for the Construction and Analysis of Systems, pp. 168–176 (2004)Google Scholar