Pages that link to "Item:Q2875082"
From MaRDI portal
The following pages link to Behavioral interface specification languages (Q2875082):
Displayed 12 items.
- The spirit of ghost code (Q518394) (← links)
- Modular inference of subprogram contracts for safety checking (Q604392) (← links)
- Verifying traits: an incremental proof system for fine-grained reuse (Q736803) (← links)
- Stepwise refinement of heap-manipulating code in Chalice (Q1941869) (← links)
- An abstract contract theory for programs with procedures (Q2044183) (← links)
- Formal specification and verification of JDK's identity hash map implementation (Q2165501) (← links)
- Richer interface automata with optimistic and pessimistic compatibility (Q2350491) (← links)
- Interface automata for shared memory (Q2675806) (← links)
- Skill-Based Verification of Cyber-Physical Systems (Q5039533) (← links)
- Holistic Specifications for Robust Programs (Q5039542) (← links)
- Loop invariants (Q5176169) (← links)
- Verification of mutable linear data structures and iterator-based algorithms in Dafny (Q6113015) (← links)