A deductive approach towards reasoning about algebraic transition systems

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

Mathematics Subject Classification ID

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

• TLAPS
• STeP

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