scientific article
From MaRDI portal
Publication:2754108
zbMath0974.68565MaRDI QIDQ2754108
Publication date: 11 November 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
Partial Order Reduction for Deep Bug Finding in Synchronous Hardware, Verification of SpecC using predicate abstraction, Learning general constraints in CSP, HySAT: An efficient proof engine for bounded model checking of hybrid systems, Towards better heuristics for solving bounded model checking problems, SAT-solving in CSP trace refinement, Formal verification based on Boolean expression diagrams, Feasibility analysis for robustness quantification by symbolic model checking, Generating Diverse Solutions in SAT, Limitations of restricted branching in clause learning, Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods, Backdoors to tractable answer set programming, Interpolant Learning and Reuse in SAT-Based Model Checking, Unrestricted vs restricted cut in a tableau method for Boolean circuits, SAT-based planning in complex domains: Concurrency, constraints and nondeterminism
Uses Software
