scientific article
From MaRDI portal
Publication:3700812
zbMath0578.68014MaRDI QIDQ3700812
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
invariancelivenesssafetytemporal logicconcurrencypartial correctnessmutual exclusionanalysis of programsencapsulation principleprogram historysequential verification
Related Items
Program composition via unification, Assume, Guarantee or Repair, On the universal and existential fragments of the \(\mu\)-calculus, Applicability of fair simulation, Compositional Reasoning, Compositional verification of concurrent systems by combining bisimulations, Parallel composition of assumption-commitment specifications: A unifying approach for shared variable and distributed message passing concurrency, Specification and refinement of networks of asynchronously communicating agents using the assumption/commitment paradigm, Automated circular assume-guarantee reasoning, Proving properties of dynamic process networks, Program composition via unification, A foundation for modular reasoning about safety and progress properties of state-based concurrent programs, Modularity for timed and hybrid systems, Automated program repair using formal verification techniques, Compositional Specification in Rewriting Logic, Improved model checking of hierarchical systems, Modular verification for shared-variable concurrent programs, The Birth of Model Checking, Automated Assume-Guarantee Reasoning by Abstraction Refinement, Cartesian difference categories, Synthesis of Reactive(1) designs, Compositional Verification for Component-Based Systems and Application, Automatic verification of reduction techniques in higher order logic, Verification of asynchronous systems with an unspecified component, Reasoning about programs by exploiting the environment, Three optimizations for assume-guarantee reasoning with \(L^{*}\), Hierarchical Network Formation Games, On using temporal logic for refinement and compositional verification of concurrent systems, Conditions of contracts for separating responsibilities in heterogeneous systems, Search strategies for resolution in temporal logics, Parametric linear dynamic logic, A logical view of composition, Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities, Compositional reasoning using intervals and time reversal, Compositional verification and 3-valued abstractions join forces, Compositional reasoning for shared-variable concurrent programs, Compositional analysis of C/C++ programs with veriSoft, Fault-Tolerant Aggregate Signatures, Automated Circular Assume-Guarantee Reasoning, Compositional Failure-based Equivalence of Constraint Automata, CEGAR for compositional analysis of qualitative properties in Markov decision processes, Local proofs for global safety properties, Composing leads-to properties, A verification-driven framework for iterative design of controllers, Syntax-directed model checking of sequential programs, An explanatory presentation of composition rules for assumption- commitment specifications, A framework for compositional verification of multi-valued systems via abstraction-refinement
