Local temporal reasoning
From MaRDI portal
Publication:4635644
Recommendations
Cited in
(8)- Temporal refinements for guarded recursive types
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- Temporal reasoning for procedural programs
- Automated temporal verification for algebraic effects
- A fixpoint logic and dependent effects for temporal property verification
- Commutativity for concurrent program termination proofs
- A temporal logic for higher-order functional programs
- Temporal verification of programs via first-order fixpoint logic
This page was built for publication: Local temporal reasoning
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4635644)