Pages that link to "Item:Q1019025"
From MaRDI portal
The following pages link to Invariant based programming: Basic approach and teaching experiences (Q1019025):
Displaying 6 items.
- Reasoning about orchestrations of web services using partial correctness (Q469344) (← links)
- Verification and code generation for invariant diagrams in Isabelle (Q478381) (← links)
- A programming model for BSP with partitioned synchronisation (Q640293) (← links)
- Provably correct derivation of algorithms using FermaT (Q736840) (← links)
- Traits: correctness-by-construction for free (Q2165220) (← links)
- Flexible Correct-by-Construction Programming (Q6135766) (← links)
