scientific article; zbMATH DE number 2172804

MaRDI QIDQ4680191zbMATH OpenFDO

Authors Stephan Merz

Publication date 2 June 2006

zbMATH Keywords

linear-time temporal logicreactive systemsspecificationtemporal logicvalidationZermelo-Fränkel set theory

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• scientific article; zbMATH DE number 910717
• scientific article; zbMATH DE number 1390334
• Temporal logic and state systems
• TLA +  Proofs
• scientific article; zbMATH DE number 2185692

Cited in

(9)

• DiskPaxos
• TLA +  Proofs
• scientific article; zbMATH DE number 910717 (Why is no real title available?)
• scientific article; zbMATH DE number 1407682 (Why is no real title available?)
• scientific article; zbMATH DE number 6423952 (Why is no real title available?)
• Building Specifications in the Event-B Institution
• Formal Methods in Software and Systems Modeling
• Distributed Adaptive Systems
• A complete fragment of LTL(EB)

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 Q4680191)