A deductive approach towards reasoning about algebraic transition systems
From MaRDI portal
Publication:1666122
DOI10.1155/2015/607013zbMath1394.68248OpenAlexW2130420956WikidataQ59119538 ScholiaQ59119538MaRDI QIDQ1666122
Hongyan Tan, Jun Fu, Jinzhao Wu
Publication date: 27 August 2018
Published in: Mathematical Problems in Engineering (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1155/2015/607013
Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Symbolic techniques in satisfiability solving
- Generating invariants for non-linear loops by linear algebraic methods
- Property-directed incremental invariant generation
- Differential dynamic logic for hybrid systems
- The liberalized \(\delta\)-rule in free variable semantic tableaux
- Logics of specification languages
- Temporal logic and state systems
- Model-based testing of reactive systems. Advanced lectures.
- The Complete Proof Theory of Hybrid Systems
- Non-linear loop invariant generation using Gröbner bases
- Cut-Elimination and Proof Schemata
- Formal verification of parallel programs
- Verification of infinite-state dynamic systems using approximate quotient transition systems
- TLA + Proofs
- A classification of symbolic transition systems
- Hybrid Systems: Computation and Control
This page was built for publication: A deductive approach towards reasoning about algebraic transition systems