Behavioral interface specification languages
From MaRDI portal
Recommendations
Cited in
(14)- Skill-based verification of cyber-physical systems
- Interfaces between languages for communicating systems
- Richer interface automata with optimistic and pessimistic compatibility
- Verification of mutable linear data structures and iterator-based algorithms in Dafny
- Modular inference of subprogram contracts for safety checking
- Loop invariants: analysis, classification, and examples
- An abstract contract theory for programs with procedures
- Formal specification and verification of JDK's identity hash map implementation
- Formal specification and verification of JDK's identity hash map implementation
- Verifying traits: an incremental proof system for fine-grained reuse
- Stepwise refinement of heap-manipulating code in Chalice
- Holistic Specifications for Robust Programs
- Interface automata for shared memory
- The spirit of ghost code
Describes a project that uses
Uses Software
This page was built for publication: Behavioral interface specification languages
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2875082)