An introduction to practical formal methods using temporal logic
From MaRDI portal
Publication:2996923
model checkingsemanticsdeductionformal specificationautomata-based model checking in SPINseparated normal formTSPASS toolBüchi automata
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)
Recommendations
Cited in
(12)- Specification and verification using temporal logics
- Dynamic logic assigned to automata
- Fully automated verification of linear time-invariant systems against signal temporal logic specifications via reachability analysis
- Compositional reasoning using intervals and time reversal
- Guest editors' preface to special issue on interval temporal logics
- Temporal logic and fair discrete systems
- Temporal logics in computer science. Finite-state systems
- A two-level approach based on model checking to support architecture conformance checking
- LTL-specification of bounded counter machines
- Invariant-free clausal temporal resolution
- Concise guide to formal methods. Theory, fundamentals and industry applications
- Theorem proving using clausal resolution: from past to present
This page was built for publication: An introduction to practical formal methods using temporal logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2996923)
