scientific article; zbMATH DE number 3898203

MaRDI QIDQ3677141zbMATH OpenFDO

Authors

Publication date 1985

Full work available at URL https://eudml.org/doc/92233

zbMATH Keywords

atnext operatorprogram verification rulesproof rules

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A generalized nexttime operator in temporal logic
• scientific article; zbMATH DE number 4153903
• Verification of temporal properties
• scientific article; zbMATH DE number 4119617
• Verifying temporal properties without temporal logic

Cites work

• A generalized nexttime operator in temporal logic
• scientific article; zbMATH DE number 3839297 (Why is no real title available?)
• scientific article; zbMATH DE number 3755842 (Why is no real title available?)
• Myths about the mutual exclusion problem
• The temporal semantics of concurrent programs

Cited in

(8)

• Concerning the semantic consequence relation in first-order temporal logic
• Arithmetical axiomatization of first-order temporal logic
• A complete axiomatic characterization of first-order temporal logic of linear time
• A structured temporal logic language: XYZ/SE
• scientific article; zbMATH DE number 148938 (Why is no real title available?)
• Dynamic topological logic
• A generalized nexttime operator in temporal logic
• The modal logic of continuous functions on Cantor space

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