Author:
Cimatti Alessandro,Clarke Edmund,Giunchiglia Enrico,Giunchiglia Fausto,Pistore Marco,Roveri Marco,Sebastiani Roberto,Tacchella Armando
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. G. Audemard, P. Bertoli, A. Cimatti, A. Kornilowicz, and R. Sebastiani. A SAT based approach for solving formulas over boolean and linear mathematical propositions. In Proc. of CADE’02, 2002.
2. S. Berezin, S. Campos, and E. M. Clarke. Compositional reasoning in model checking. In Proc. COMPOS, 1997.
3. P. Bertoli, A. Cimatti, M. Pistore, M. Roveri, and P. Traverso. MBP: a Model Based Planner. In Proc. of the IJCAI’01 Workshop on Planning under Uncertainty and Incomplete Information, Seattle, August 2001.
4. A. Biere, A. Cimatti, E. M. Clarke, and Y. Zhu. Symbolic model checking without BDDs. In Proc. 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, editors, Proc. of the Second International ERCIM FMICS, Pisa, Italy, July 1997.
Cited by
620 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. ASMETA Tool Set for Rigorous System Design;Lecture Notes in Computer Science;2024-09-13
2. Reachability Analysis in Micro-Stipula;Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming;2024-09-09
3. Research on public opinion effecting on stock price during crises based on model checking;Expert Systems with Applications;2024-09
4. Formal Methods in Industry;Formal Aspects of Computing;2024-08-21
5. Mealy Verifier: An Automated, Exhaustive, and Explainable Methodology for Analyzing State Machines in Protocol Implementations;Proceedings of the 19th International Conference on Availability, Reliability and Security;2024-07-30