The following pages link to (Q4721623):
Displaying 11 items.
- Verification conditions for source-level imperative programs (Q465685) (← links)
- Verification and falsification of programs with loops using predicate abstraction (Q968302) (← links)
- A comparison of tools for teaching formal software verification (Q1019026) (← links)
- Traits: correctness-by-construction for free (Q2165220) (← links)
- Verifying data- and control-oriented properties combining static and runtime verification: theory and tools (Q2402555) (← links)
- Assumption propagation through annotated programs (Q2628303) (← links)
- The Secret Art of Computer Programming (Q3393399) (← links)
- (Q3707358) (← links)
- (Q4344097) (← links)
- Combining Top-Down and Bottom-Up Techniques in Program Derivation (Q5743597) (← links)
- Flexible Correct-by-Construction Programming (Q6135766) (← links)