STeP
From MaRDI portal
Software:29799
No author found.
Related Items (33)
Modeling and testing object-oriented distributed systems with linear-time temporal logic ⋮ Refinement calculus: A basis for translation validation, debugging and certification ⋮ Model checking and abstraction to the aid of parameterized systems (a survey) ⋮ Interactive theorem proving with temporal logic ⋮ Unnamed Item ⋮ A deductive approach towards reasoning about algebraic transition systems ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Automatic generation of invariants and intermediate assertions ⋮ Unnamed Item ⋮ Incorporating decision procedures in implicit induction. ⋮ Constraint contextual rewriting. ⋮ Unnamed Item ⋮ Unnamed Item ⋮ An approximation algorithm for box abstraction of transition systems on real state spaces ⋮ RGITL: a temporal logic framework for compositional reasoning about interleaved programs ⋮ Automating the refinement of specifications for distributed systems via syntactic transformations ⋮ Bridging the gap between fair simulation and trace inclusion ⋮ Abstractions of data types ⋮ A compositional approach to CTL\(^*\) verification ⋮ Unnamed Item ⋮ A general framework to build contextual cover set induction provers ⋮ Removing irrelevant information in temporal resolution proofs ⋮ Distributed processes and location failures ⋮ Liveness by Invisible Invariants ⋮ Symbolic verification of hybrid systems: an algebraic approach ⋮ Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation ⋮ A practical integration of first-order reasoning and decision procedures ⋮ Simplification of boolean verification conditions ⋮ Differential dynamic logic for hybrid systems ⋮ Syntax-based synthesis for temporal-safety supervision ⋮ Deductive verification of real-time systems using STeP ⋮ Specification of real-time and hybrid systems in rewriting logic
This page was built for software: STeP
