swMATH17948MaRDI QIDQ29799FDOQ29799
Author name not available (Why is that?)
Official website: http://www-step.stanford.edu
Cited In (42)
- Liveness by Invisible Invariants
- A deductive approach towards reasoning about algebraic transition systems
- 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
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- 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
- Distributed processes and location failures
- Title not available (Why is that?)
- Title not available (Why is that?)
- LISA
- Java-MaC
- EXPANDER
- RDL
- UNICOM
- Tecton
- Title not available (Why is that?)
- A practical integration of first-order reasoning and decision procedures
- Title not available (Why is that?)
- A compositional approach to CTL\(^*\) verification
- 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
- A general framework to build contextual cover set induction provers
- Title not available (Why is that?)
- Deductive verification of real-time systems using STeP
This page was built for software: STeP
