Proof tactics for a theory of state machines in a graphical environment

DOI10.1007/3-540-63104-6_35zbMath1430.68400OpenAlexW1784288965MaRDI QIDQ5234719

A. Cant, K. A. Eastaughffe, Maris Ozols

Publication date: 1 October 2019

Published in: Automated Deduction—CADE-14 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-63104-6_35

zbMATH Keywords

sequent calculustransition graphstate machineprototype verification systemproof step

Mathematics Subject Classification ID

Formalization of mathematics in connection with theorem provers (68V20) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (1)

Veracity

Uses Software

• Isabelle
• PVS
• XIsabelle

Cites Work

• Isabelle. A generic theorem prover
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Proof tactics for a theory of state machines in a graphical environment