scientific article

zbMath0563.68007MaRDI QIDQ3677141

No author found.

Publication date: 1985

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

proof rulesatnext operatorprogram verification rules

Mathematics Subject Classification ID

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

Related Items (5)

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 ⋮ The modal logic of continuous functions on Cantor space ⋮ Dynamic topological logic

Cites Work

• A generalized nexttime operator in temporal logic
• The temporal semantics of concurrent programs
• Myths about the mutual exclusion problem
• Unnamed Item
• Unnamed Item

This page was built for publication: