Combining Logic and Algebraic Techniques for Program Verification in Theorema - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Laura Kovács, Nikolaj Popov, Tudor Jebelean. Combining Logic and Algebraic Techniques for Program Verification in Theorema. In Leveraging Applications of Formal Methods, Second International Symposium, ISoLA 2006, Paphos, Cyprus, 15-19 November 2006. pages 67-74, IEEE, 2006. [doi]

The following publications are possibly variants of this publication:

Using Computer Algebra techniques for the specification, verification and synthesis of recursive programsNikolaj Popov, Tudor Jebelean. mcs, 79(8):2302-2309, 2009. [doi]

Experimental Program Verification in the Theorema SystemTudor Jebelean, Laura Kovács, Nikolaj Popov. ISoLA 2004: 92-99

runs on WebDSL