Formal Specification and Automated Verification of Safety-Critical Requirements of a Railway Vehicle with Frama-C/Jessie - Forms/Format 2010 - page 153

9. Barrett, C., Tinelli, C.: CVC3 , In Proceedings of the 19th International Confer-
ence on Computer Aided Verification (CAV'07), Volume 4590 of Lecture Notes
in Computer Science, pages 298-302, (2007).
10. Simplify

Prover , Theorem http://secure.ucd.ie/products/

opensource/Simplify/ .
11. Dutertre, B., de Moura, L.: The YICES SMT Solver , http://yices.csl.
sri.com/tool-paper.pdf .
12. de Moura, L., Bjørner, N.: Z3: An Ecient SMT Solver , Conference on Tools
and Algorithms for the Construction and Analysis of Systems (TACAS), Bu-
dapest, Hungary, http://research.microsoft.com/projects/z3/z3.
pdf , (2008).