STeP
From MaRDI portal
Cited in
(42)- A deductive approach towards reasoning about algebraic transition systems
- Liveness by Invisible Invariants
- RGITL: a temporal logic framework for compositional reasoning about interleaved programs
- Removing irrelevant information in temporal resolution proofs
- Incorporating decision procedures in implicit induction.
- Syntax-based synthesis for temporal-safety supervision
- Modeling and testing object-oriented distributed systems with linear-time temporal logic
- scientific article; zbMATH DE number 1949608 (Why is no real title available?)
- Constraint contextual rewriting.
- Differential dynamic logic for hybrid systems
- Automating the refinement of specifications for distributed systems via syntactic transformations
- Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
- scientific article; zbMATH DE number 2080213 (Why is no real title available?)
- An approximation algorithm for box abstraction of transition systems on real state spaces
- Specification of real-time and hybrid systems in rewriting logic
- Model checking and abstraction to the aid of parameterized systems (a survey)
- Automatic generation of invariants and intermediate assertions
- Refinement calculus: A basis for translation validation, debugging and certification
- HOL-Z
- Cadence SMV
- RGITL
- LISA
- Java-MaC
- EXPANDER
- RDL
- UNICOM
- Tecton
- Distributed processes and location failures
- scientific article; zbMATH DE number 1223610 (Why is no real title available?)
- scientific article; zbMATH DE number 1798183 (Why is no real title available?)
- scientific article; zbMATH DE number 1670559 (Why is no real title available?)
- A compositional approach to CTL^* verification
- scientific article; zbMATH DE number 1701752 (Why is no real title available?)
- A practical integration of first-order reasoning and decision procedures
- Symbolic verification of hybrid systems: an algebraic approach
- Interactive theorem proving with temporal logic
- Bridging the gap between fair simulation and trace inclusion
- Abstractions of data types
- Simplification of boolean verification conditions
- scientific article; zbMATH DE number 1696505 (Why is no real title available?)
- A general framework to build contextual cover set induction provers
- Deductive verification of real-time systems using STeP
This page was built for software: STeP
