scientific article; zbMATH DE number 4182845

MaRDI QIDQ5748896zbMATH OpenFDO

Authors Fred Kröger, Stephan Merz

Publication date 1991

zbMATH Keywords

recursive programstemporal logicverification of

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Temporal Logic with Recursion.
• Temporal logic with recursion
• Temporal Logics
• scientific article; zbMATH DE number 1749195
• scientific article; zbMATH DE number 3985193
• Temporal and dynamic logic
• Timed temporal logics
• scientific article; zbMATH DE number 4119592
• scientific article; zbMATH DE number 947806
• Temporal logic and state systems

Cited in

(10)

• Temporal logic with recursion
• Temporal refinements for guarded recursive types
• A structured temporal logic language: XYZ/SE
• The problem of coincidence in a theory of temporal multiple recurrence
• Local temporal reasoning
• scientific article; zbMATH DE number 2086407 (Why is no real title available?)
• Substructure Temporal Logic
• Temporal Logic with Recursion.
• A temporal logic for higher-order functional programs
• Nesting until and since in linear temporal logic

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