Pages that link to "Item:Q5899082"
From MaRDI portal
The following pages link to Foundations of Software Science and Computation Structures (Q5899082):
Displaying 11 items.
- On the almighty wand (Q418137) (← links)
- Verification of multi-linked heaps (Q439948) (← links)
- Quantitative separation logic and programs with lists (Q707740) (← links)
- Parametrized verification diagrams: temporal verification of symmetric parametrized concurrent systems (Q2408742) (← links)
- Program verification with interacting analysis plugins (Q2642983) (← links)
- Modeling and Verifying Graph Transformations in Proof Assistants (Q2870320) (← links)
- Verifying Heap-Manipulating Programs in an SMT Framework (Q3510799) (← links)
- On the Almighty Wand (Q3540188) (← links)
- Beyond Shapes: Lists with Ordered Data (Q3617745) (← links)
- Separation logics and modalities: a survey (Q4586138) (← links)
- An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures (Q5452601) (← links)
