Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

VMCAI
2007
Springer

favoriteEmaildiscussreport

89views Software Engineering» more VMCAI 2007»

Using First-Order Theorem Provers in the Jahob Data Structure Verification System

13 years 10 months ago

Using First-Order Theorem Provers in the Jahob Data Structure Verification System

Download www.mit.edu

Charles Bouillaguet, Viktor Kuncak, Thomas Wies, K

Real-time Traffic

Software Engineering | VMCAI 2007 |

claim paper

Related Content

» An overview of the Jahob analysis system project goals and current status

» Testing FirstOrder Logic Axioms in Program Verification

» Connecting a Logical Framework to a FirstOrder Logic Prover

» Applying a Theorem Prover to the Verification of Optimistic Replication Algorithms

» Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic

» Integrated Reasoning and Proof Choice Point Selection in the Jahob System Mechanisms for ...

» Combining Symbolic Model Checking with Uninterpreted Functions for OutofOrder Processor Ve...

» Guiding a Theorem Prover with Soft Constraints

» Automated Reasoning Past Story and New Trends

Post Info
More Details (n/a)

Added	09 Jun 2010
Updated	09 Jun 2010
Type	Conference
Year	2007
Where	VMCAI
Authors	Charles Bouillaguet, Viktor Kuncak, Thomas Wies, Karen Zee, Martin C. Rinard

Comments (0)