Deriving liveness goals from temporal logic specifications

DOI10.1006/JSCO.1996.0065zbMath0976.03036OpenAlexW1997414361MaRDI QIDQ679327

Gunter Saake, Amílcar Sernadas, Carlos Caleiro

Publication date: 25 November 2001

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/39ed5145957ace6a9c0465603d301b6e30a53e84

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Logic programming (68N17) Temporal logic (03B44)

Related Items (1)

Verification of reactive systems using temporal logic with clocks

This page was built for publication: Deriving liveness goals from temporal logic specifications