The following pages link to JML (Q16768):
Displaying 50 items.
- (Q4414378) (← links)
- (Q4417827) (← links)
- Principled Software Development (Q4558903) (← links)
- (Q4738328) (← links)
- (Q4785558) (← links)
- Modular specification of frame properties in JML (Q4794726) (← links)
- (Q4808693) (← links)
- (Q4808824) (← links)
- (Q4808834) (← links)
- Building reliable, high-performance networks with the Nuprl proof development system (Q4819652) (← links)
- Skill-Based Verification of Cyber-Physical Systems (Q5039533) (← links)
- Verification of Concurrent Systems with VerCors (Q5175776) (← links)
- Specification and Runtime Verification of Java Card Programs (Q5179352) (← links)
- Model Checking Merged Program Traces (Q5179356) (← links)
- Verification Rules for Exception Handling in Eiffel (Q5200485) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308423) (← links)
- Algebraic Methodology and Software Technology (Q5312976) (← links)
- Algebraic Methodology and Software Technology (Q5312984) (← links)
- Algebraic Methodology and Software Technology (Q5312999) (← links)
- Algebraic Methodology and Software Technology (Q5313002) (← links)
- Fundamental Approaches to Software Engineering (Q5316436) (← links)
- Programming Languages and Systems (Q5316569) (← links)
- A Bytecode Logic for JML and Types (Q5385607) (← links)
- Second-Order Principles in Specification Languages for Object-Oriented Programs (Q5387837) (← links)
- KeY: A Formal Method for Object-Oriented Systems (Q5428904) (← links)
- A Representation-Independent Behavioral Semantics for Object-Oriented Components (Q5428910) (← links)
- A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs (Q5428915) (← links)
- (Q5447372) (← links)
- Extending Model Checking with Dynamic Analysis (Q5452713) (← links)
- (Q5457270) (← links)
- A Realizability Model for Impredicative Hoare Type Theory (Q5458408) (← links)
- Theorem Proving in Higher Order Logics (Q5477655) (← links)
- Denotational semantics for a program logic of objects (Q5481596) (← links)
- A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs (Q5504599) (← links)
- Snapshot Generation in a Constructive Object-Oriented Modeling Language (Q5504600) (← links)
- Separation Logic Contracts for a Java-Like Language with Fork/Join (Q5505424) (← links)
- Verification of Java Programs with Generics (Q5505432) (← links)
- Valigator: A Verification Tool with Bound and Invariant Generation (Q5505564) (← links)
- (Q5506381) (← links)
- Many-Valued Logic, Partiality, and Abstraction in Formal Specification Languages (Q5703738) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5703772) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5703785) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5703786) (← links)
- ZB 2005: Formal Specification and Development in Z and B (Q5703818) (← links)
- FM 2005: Formal Methods (Q5716910) (← links)
- FM 2005: Formal Methods (Q5716914) (← links)
- FM 2005: Formal Methods (Q5716915) (← links)
- Abstract Predicates and Mutable ADTs in Hoare Type Theory (Q5756495) (← links)
- Characteristic formulae for liveness properties of non-terminating CakeML programs (Q5875446) (← links)
- Formal Methods for Components and Objects (Q5897122) (← links)
