A transformation-based synthesis of temporal specification

DOI10.1007/BF01210997zbMath0841.68074OpenAlexW394402693MaRDI QIDQ1906037

Philippe Noël

Publication date: 2 July 1996

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01210997

zbMATH Keywords

specificationspropositional temporal logic

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Classical propositional logic (03B05)

Related Items (1)

Extracting unsatisfiable cores for LTL via temporal resolution

Cites Work

• On the structure of non-manipulable equilibria
• Deciding full branching time logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A transformation-based synthesis of temporal specification