Pages that link to "Item:Q3066108"
From MaRDI portal
The following pages link to Dafny: An Automatic Program Verifier for Functional Correctness (Q3066108):
Displaying 17 items.
- Dafny (Q12950) (← links)
- Automata-theoretic semantics of idealized Algol with passive expressions (Q265826) (← links)
- Contract-based verification of MATLAB-style matrix programs (Q282101) (← links)
- The spirit of ghost code (Q518394) (← links)
- Trace-based verification of imperative programs with I/O (Q617977) (← links)
- Building program construction and verification tools from algebraic principles (Q736461) (← links)
- (Q5009435) (← links)
- Building Specifications in the Event-B Institution (Q5060190) (← links)
- (Q5089296) (← links)
- Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker (Q5883751) (← links)
- An automatically verified prototype of the Android permissions system (Q6103592) (← links)
- Verification of mutable linear data structures and iterator-based algorithms in Dafny (Q6113015) (← links)
- Flexible Correct-by-Construction Programming (Q6135766) (← links)
- Concise outlines for a complex logic: a proof outline checker for TaDA (Q6145023) (← links)
- A solver for arrays with concatenation (Q6156632) (← links)
- Integrating ADTs in KeY and their application to history-based reasoning about collection (Q6185826) (← links)
- On algebraic array theories (Q6192058) (← links)
