The following pages link to STeP (Q29799):
Displayed 33 items.
- Differential dynamic logic for hybrid systems (Q1040772) (← links)
- Interactive theorem proving with temporal logic (Q1355780) (← links)
- Automatic generation of invariants and intermediate assertions (Q1391929) (← links)
- Incorporating decision procedures in implicit induction. (Q1404422) (← links)
- Constraint contextual rewriting. (Q1404984) (← links)
- Simplification of boolean verification conditions (Q1575276) (← links)
- Deductive verification of real-time systems using STeP (Q1589585) (← links)
- Specification of real-time and hybrid systems in rewriting logic (Q1608921) (← links)
- A deductive approach towards reasoning about algebraic transition systems (Q1666122) (← links)
- A compositional approach to CTL\(^*\) verification (Q1770366) (← links)
- Model checking and abstraction to the aid of parameterized systems (a survey) (Q1886449) (← links)
- An approximation algorithm for box abstraction of transition systems on real state spaces (Q2248056) (← links)
- RGITL: a temporal logic framework for compositional reasoning about interleaved programs (Q2251128) (← links)
- Refinement calculus: A basis for translation validation, debugging and certification (Q2368949) (← links)
- Bridging the gap between fair simulation and trace inclusion (Q2486398) (← links)
- Abstractions of data types (Q2491212) (← links)
- Symbolic verification of hybrid systems: an algebraic approach (Q2512180) (← links)
- Syntax-based synthesis for temporal-safety supervision (Q2573941) (← links)
- (Q2753760) (← links)
- (Q2766648) (← links)
- (Q2769579) (← links)
- Liveness by Invisible Invariants (Q3613081) (← links)
- (Q4218920) (← links)
- Automating the refinement of specifications for distributed systems via syntactic transformations (Q4392352) (← links)
- (Q4412507) (← links)
- Removing irrelevant information in temporal resolution proofs (Q4421286) (← links)
- (Q4472456) (← links)
- (Q4553256) (← links)
- Modeling and testing object-oriented distributed systems with linear-time temporal logic (Q4790927) (← links)
- A practical integration of first-order reasoning and decision procedures (Q5234694) (← links)
- Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation (Q5896950) (← links)
- A general framework to build contextual cover set induction provers (Q5950934) (← links)
- Distributed processes and location failures (Q5958774) (← links)