scientific article; zbMATH DE number 868107
From MaRDI portal
zbMath0844.68079MaRDI QIDQ4873991
Publication date: 21 April 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Logic programming (68N17)
Related Items
Contracts for concurrency, Beyond contracts for concurrency, Predicate diagrams for the verification of real-time systems, A criterion for atomicity revisited, Change-of-bases abstractions for non-linear hybrid systems, Doomed program points, 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, A mechanical analysis of program verification strategies, Domain science and engineering from computer science to the sciences of informatics. I: Engineering, Deductive verification of alternating systems, Property-directed incremental invariant generation, Analysis of meeting protocols by formalisation, simulation, and verification, Constructing invariants for hybrid systems, Model checking abilities of agents: a closer look, Simulation refinement for concurrency verification, The complexity of agent design problems: Determinism and history dependence, Compositional analysis of C/C++ programs with veriSoft, Model checking with strong fairness, Analog property checkers: a DDR2 case study, Counter Abstraction in the CSP/FDR setting, Unnamed Item, Tool support for learning Büchi automata and linear temporal logic, From Hilbert's program to a logic tool box, Collecting statistics over runtime executions
