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