Pages that link to "Item:Q3613414"
From MaRDI portal
The following pages link to Dynamic Logic with Non-rigid Functions (Q3613414):
Displayed 9 items.
- A dynamic logic for deductive verification of multi-threaded programs (Q470007) (← links)
- Predicate abstraction in a program logic calculus (Q549686) (← links)
- Differential dynamic logic for hybrid systems (Q1040772) (← links)
- Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems (Q2867948) (← links)
- Interleaving Symbolic Execution and Partial Evaluation (Q3066122) (← links)
- Predicate Abstraction in a Program Logic Calculus (Q3605465) (← links)
- On the Completeness of Dynamic Logic (Q3617722) (← links)
- Multimodal Separation Logic for Reasoning About Operational Semantics (Q5415628) (← links)
- A verified VCGen based on dynamic logic: an exercise in meta-verification with Why3 (Q6156936) (← links)