STeP

swMATH17948MaRDI QIDQ29799FDOQ29799

Author name not available (Why is that?)

Cited In (33)

• 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
• Distributed processes and location failures
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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