The following pages link to (Q2764132):
Displaying 10 items.
- Verification conditions for source-level imperative programs (Q465685) (← links)
- A dynamic logic for deductive verification of multi-threaded programs (Q470007) (← links)
- Lazy behavioral subtyping (Q710675) (← links)
- Compositionality for quantitative specifications (Q1797783) (← links)
- Coalgebras and monads in the semantics of Java (Q1853752) (← links)
- Weakest pre-condition reasoning for Java programs with JML annotations (Q1881666) (← links)
- Refinement checking on parametric modal transition systems (Q2340259) (← links)
- A program logic for resources (Q2463560) (← links)
- Specification and verification challenges for sequential object-oriented programs (Q2643131) (← links)
- Characteristic formulae for liveness properties of non-terminating CakeML programs (Q5875446) (← links)