Author:
Cimatti Alessandro,Giunchiglia Enrico,Pistore Marco,Roveri Marco,Sebastiani Roberto,Tacchella Armando
Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. Lect Notes Comput Sci;P. A. Abdulla,2000
2. S. Berezin, S. Campos, and E. M. Clarke. Compositional reasoning in model checking. In Proc. COMPOS, 1997.
3. A. Biere, A. Cimatti, E. Clarke, M. Fujita, and Y. Zhu. Symbolic Model Checking Using SAT Procedures instead of BDDs. In Proc. 36th Conference on Design Automation, 1999.
4. A. Biere, A. Cimatti, E. Clarke, and Y. Zhu. Symbolic model checking without BDDs. In Proceedings of the Fifth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS’ 99), 1999.
5. A. Borälv. A Fully Automated Approach for Proving Safety Properties in Interlocking Software Using Automatic Theorem-Proving. In S. Gnesi and D. Latella, eds., Proceedings of the Second International ERCIM Workshop on Formal Methods for Industrial Critical Systems, Pisa, Italy, July 1997.
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Generalized Formal Model-Verifier: A Formal Approach for Verifying Static Models;SN Computer Science;2024-05-02
2. SpecBCFuzz: Fuzzing LTL Solvers with Boundary Conditions;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-04-12
3. Performance improvement on legal model checking;Proceedings of the 16th edition of the International Conference on Articial Intelligence and Law;2017-06-12
4. Towards More Efficient Requirements Formalization: A Study;Requirements Engineering: Foundation for Software Quality;2015
5. Answer-Set Programming in Requirements Engineering;Requirements Engineering: Foundation for Software Quality;2014