AMC: An Adaptive Model Checker
暂无分享,去创建一个
[1] Alex Groce,et al. Adaptive Model Checking , 2002, Log. J. IGPL.
[2] M. P. Vasilevskii. Failure diagnosis of automata , 1973 .
[3] Tsun S. Chow,et al. Testing Software Design Modeled by Finite-State Machines , 1978, IEEE Transactions on Software Engineering.
[4] Patrice Godefroid,et al. Model checking for programming languages using VeriSoft , 1997, POPL '97.
[5] Mihalis Yannakakis,et al. Black Box Checking , 1999 .
[6] Dana Angluin,et al. Learning Regular Sets from Queries and Counterexamples , 1987, Inf. Comput..
[7] Rance Cleaveland,et al. The concurrency workbench: a semantics-based tool for the verification of concurrent systems , 1993, TOPL.