scientific article; zbMATH DE number 4085004

MaRDI QIDQ3814796zbMATH OpenFDO

Authors Amir Pnueli, Roni Rosner

Publication date 1988

zbMATH Keywords

AE-paradigmconstructive proof rulesprogram synthesisreactive moduleSkolem paradigmtemporal logictree models

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 4124989
• Verification and synthesis of reactive programs
• Synthesis of Reactive(1) designs
• Bounded synthesis of reactive programs
• Synthesizing reactive programs

Cited in

(17)

• A compositional approach to CTL^* verification
• Synthesis in presence of dynamic links
• Special issue on syntax-guided synthesis preface
• Iterated Boolean games
• Synthesizing structured reactive programs via deterministic tree automata
• From LTL to deterministic automata. A safraless compositional approach
• A Modular LTS for Open Reactive Systems
• Dynamic Reactive Modules
• Synthesizing structured reactive programs via deterministic tree automata
• scientific article; zbMATH DE number 4124989 (Why is no real title available?)
• Compositional approach to the development of reactive algorithms
• scientific article; zbMATH DE number 7455739 (Why is no real title available?)
• Verification and synthesis of reactive programs
• A decision procedure for \(\mathrm{CTL}^{*}\) based on tableaux and automata
• Synthesizing reactive systems from hyperproperties
• A direct symbolic algorithm for solving stochastic Rabin games
• Fair -regular games

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3814796)