ESAT: a tool for animating logic-based specifications of evolvable component systems

Authors:
Djihed Afifi;David E. Rydeheard;Howard Barringer
Affiliations:
The University of Manchester, School of Computer Science, Manchester, United Kingdom;The University of Manchester, School of Computer Science, Manchester, United Kingdom;The University of Manchester, School of Computer Science, Manchester, United Kingdom
Venue:
RV'10 Proceedings of the First international conference on Runtime verification
Year:
2010

The TPTP Problem Library

Journal of Automated Reasoning
The Vision of Autonomic Computing

Computer
The design and implementation of VAMPIRE

AI Communications - CASC
E - a brainiac theorem prover

AI Communications - CASC
iProver --- An Instantiation-Based Theorem Prover for First-Order Logic (System Description)

IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
CVC3

CAV'07 Proceedings of the 19th international conference on Computer aided verification
Z3: an efficient SMT solver

TACAS'08/ETAPS'08 Proceedings of the Theory and practice of software, 14th international conference on Tools and algorithms for the construction and analysis of systems

Hi-index	0.00