Publication:4551177
From MaRDI portal
zbMath0991.68637MaRDI QIDQ4551177
Enrico Giunchiglia, Limor Fix, Fady Copty, Ranan Fraer, Gila Kamhi
Publication date: 4 September 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2102/21020436
68U99: Computing methodologies and applications
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
From Monadic Logic to PSL, SAT-based planning in complex domains: Concurrency, constraints and nondeterminism, SAT-solving in practice, with a tutorial example from supervisory control, Hybrid systems: From verification to falsification by combining motion planning and discrete search, Effective use of Boolean satisfiability procedures in the formal verification of superscalar and VLIW microprocessors., Limitations of restricted branching in clause learning, Verification of SpecC using predicate abstraction, Unnamed Item, Limitations of Restricted Branching in Clause Learning, An Automata-Theoretic Approach to Infinite-State Systems, From Philosophical to Industrial Logics, Falsification of LTL Safety Properties in Hybrid Systems
Uses Software