Distributing the Workload in a Lazy Theorem-Prover

DOI10.1016/j.entcs.2007.03.013zbMath1279.68288OpenAlexW2084101411MaRDI QIDQ2870323

David Déharbe, Jorgiano Vidal, Silvio Ranise

Publication date: 17 January 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2007.03.013

zbMATH Keywords

distributed computingautomated theorem provingSMT prover

Mathematics Subject Classification ID

Uses Software

• GridSAT
• ToolBus
• Chaff
• CVC Lite
• E Theorem Prover
• Zapato

Cites Work

• Unnamed Item
• Unnamed Item
• The discrete time TOOLBUS. -- A software coordination architecture
• GridSAT: Design and implementation of a computational grid application
• Counterexample-guided abstraction refinement for symbolic model checking
• Graph-Based Algorithms for Boolean Function Manipulation
• Simplification by Cooperating Decision Procedures
• Applying Light-Weight Theorem Proving to Debugging and Verifying Pointer Programs
• Computer Aided Verification
• Computer Aided Verification
• Computer Aided Verification
• Artificial Intelligence and Symbolic Computation
• A machine program for theorem-proving
• Theoretical Aspects of Computing - ICTAC 2004
• Processor verification using efficient reductions of the logic of uninterpreted functions to propositional logic
• Correct Hardware Design and Verification Methods
• Computer Aided Verification

This page was built for publication: Distributing the Workload in a Lazy Theorem-Prover