Learning-Based Assume-Guarantee Verification (Tool Paper)
暂无分享,去创建一个
[1] James C. Corbett,et al. Bandera: extracting finite-state models from Java source code , 2000, ICSE.
[2] Amir Pnueli,et al. In Transition From Global to Modular Temporal Reasoning about Programs , 1989, Logics and Models of Concurrent Systems.
[3] Corina S. Pasareanu,et al. Learning Assumptions for Compositional Verification , 2003, TACAS.
[4] Corina S. Pasareanu,et al. Assume-guarantee verification of source code with design-level assumptions , 2004, Proceedings. 26th International Conference on Software Engineering.
[5] Dana Angluin,et al. Learning Regular Sets from Queries and Counterexamples , 1987, Inf. Comput..
[6] Rajeev Alur,et al. A Temporal Logic of Nested Calls and Returns , 2004, TACAS.
[7] Jeff Magee,et al. Concurrency - state models and Java programs , 2006 .
[8] Alex Groce,et al. Modular verification of software components in C , 2003, 25th International Conference on Software Engineering, 2003. Proceedings..
[9] Cliff B. Jones,et al. Tentative steps toward a development method for interfering programs , 1983, TOPL.
[10] Klaus Havelund,et al. Model checking programs , 2000, Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering.
[11] Howard Barringer,et al. Proof Rules for Automated Compositional Verification through Learning , 2003 .
[12] Jeff Magee,et al. MagicBeans: a Platform for Deploying Plugin Components , 2004, Component Deployment.