Using SMT solvers to verify high-integrity programs

PB Jackson, BJ Ellis, K Sharp - Proceedings of the second workshop on …, 2007 - dl.acm.org
In this paper we report on our experiments in using the currently popular Smt (Sat Modulo
Theories) solvers Yices [10] and Cvc3 [1] and the Simplify theorem prover [9] to discharge …
被引用次数：32 相关文章
[PDF] sri.com

[PDF][PDF] Using SMT solvers to verify high-integrity programs

PB Jackson, BJ Ellis, K Sharp - AFM'07: Second Workshop on …, 2007 - fm.csl.sri.com
In this paper we report on our experiments in using the currently popular Smt (Sat Modulo
Theories) solvers Yices [10] and Cvc3 [1] and the Simplify theorem prover [9] to discharge …
[PDF] psu.edu

[PDF][PDF] Using SMT solvers to verify high-integrity programs

PB Jackson, BJ Ellis, K Sharp - AFM'07: Second Workshop on Automated …, 2007 - Citeseer
In this paper we report on our experiments in using the currently popular Smt (Sat Modulo
Theories) solvers Yices [10] and Cvc3 [1] and the Simplify theorem prover [9] to discharge …
[PDF] academia.edu

[PDF][PDF] Using SMT solvers to verify high-integrity programs

PB Jackson, BJ Ellis, K Sharp - 2007 - academia.edu
In this paper we report on our experiments in using the currently popular Smt (Sat Modulo
Theories) solvers Yices [10] and Cvc3 [1] and the Simplify theorem prover [9] to discharge …

Using SMT solvers to verify high-integrity programs

PB Jackson, BJ Ellis, K Sharp - Proceedings of the second …, 2007 - research.ed.ac.uk
In this paper we report on our experiments in using the currently popular Smt (Sat Modulo
Theories) solvers Yices [10] and Cvc3 [1] and the Simplify theorem prover [9] to discharge …
[PDF] archive.org

[PDF][PDF] Using SMT solvers to verify high-integrity programs

PB Jackson, BJ Ellis, K Sharp - 2007 - scholar.archive.org
In this paper we report on our experiments in using the currently popular Smt (Sat Modulo
Theories) solvers Yices [10] and Cvc3 [1] and the Simplify theorem prover [9] to discharge …

Using SMT solvers to verify high-integrity programs

PB Jackson, WJ Ellis, K Sharp - 2nd Workshop on …, 2007 - researchportal.hw.ac.uk
In this paper we report on our experiments in using the currently popular Smt (Sat Modulo
Theories) solvers Yices [10] and Cvc3 [1] and the Simplify theorem prover [9] to discharge …

Using SMT solvers to verify high-integrity programs

PB Jackson, BJ Ellis, K Sharp - Workshop on Automated Formal …, 2007 - research.ibm.com
In this paper we report on our experiments in using the currently popular Smt (Sat Modulo
Theories) solvers Yices [10] and Cvc3 [1] and the Simplify theorem prover [9] to discharge …
[PDF] ed.ac.uk

[PDF][PDF] Using SMT solvers to verify high-integrity programs

PB Jackson, BJ Ellis, K Sharp - 2007 - homepages.inf.ed.ac.uk
In this paper we report on our experiments in using the currently popular Smt (Sat Modulo
Theories) solvers Yices [10] and Cvc3 [1] and the Simplify theorem prover [9] to discharge …
[PDF] hw.ac.uk

[PDF][PDF] Using SMT solvers to verify high-integrity programs

PB Jackson, BJ Ellis, K Sharp - AFM'07: Second Workshop on …, 2007 - macs.hw.ac.uk
In this paper we report on our experiments in using the currently popular Smt (Sat Modulo
Theories) solvers Yices [10] and Cvc3 [1] and the Simplify theorem prover [9] to discharge …