29 search results - page 1 / 6 » Using First-Order Theorem Provers in the Jahob Data Structur... |
VMCAI
2007
Springer
14 years 11 days ago
2007
Springer
IPPS
2006
IEEE
14 years 8 days ago
2006
IEEE
We present an overview of the Jahob system for modular analysis of data structure properties. Jahob uses a subset of Java as the implementation language and annotations with formu...
TAP
2010
Springer
13 years 4 months ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
FROCOS
2005
Springer
13 years 11 months ago
2005
Springer
We present one way of combining a logical framework and first-order logic. The logical framework is used as an interface to a first-order theorem prover. Its main purpose is to k...
BIRTHDAY
2007
Springer
13 years 10 months ago
2007
Springer
Abstract. The Operational Transformation (OT) approach is a technique for supporting optimistic replication in collaborative and mobile systems. It allows the users to concurrently...