Pages that link to "Item:Q3424121"
From MaRDI portal
The following pages link to Verifying Temporal Heap Properties Specified via Evolution Logic (Q3424121):
Displaying 7 items.
- A framework for the verification of infinite-state graph transformation systems (Q937301) (← links)
- Kleene's Logic with equality (Q1603370) (← links)
- Verify heaps via unified model checking (Q1986561) (← links)
- Establishing local temporal heap safety properties with applications to compile-time memory management (Q2568456) (← links)
- Using Unified Model Checking to Verify Heaps (Q2958361) (← links)
- Automatically verifying temporal properties of pointer programs with cyclic proof (Q5919481) (← links)
- A presheaf semantics for quantified temporal logics (Q6562516) (← links)