Publication:4873991
From MaRDI portal
zbMath0844.68079MaRDI QIDQ4873991
Publication date: 21 April 1996
03B45: Modal logic (including the logic of norms)
68Q60: Specification and verification (program logics, model checking, etc.)
68N17: Logic programming
Related Items
Analog property checkers: a DDR2 case study, Symbolic execution of Reo circuits using constraint automata, Kripke modelling and verification of temporal specifications of a multiple UAV system, A decidability result for the model checking of infinite-state systems, Simulation refinement for concurrency verification, Doomed program points, Collecting statistics over runtime executions, Contracts for concurrency, Beyond contracts for concurrency, A criterion for atomicity revisited, A mechanical analysis of program verification strategies, Deductive verification of alternating systems, Property-directed incremental invariant generation, Tool support for learning Büchi automata and linear temporal logic, From Hilbert's program to a logic tool box, Analysis of meeting protocols by formalisation, simulation, and verification, Constructing invariants for hybrid systems, Model checking abilities of agents: a closer look, The complexity of agent design problems: Determinism and history dependence, Compositional analysis of C/C++ programs with veriSoft, Model checking with strong fairness, Predicate diagrams for the verification of real-time systems