The following pages link to JML (Q16768):
Displaying 50 items.
- Verifying Whiley programs with Boogie (Q2102933) (← links)
- Gray-box monitoring of hyperproperties with an application to privacy (Q2147690) (← links)
- Traits: correctness-by-construction for free (Q2165220) (← links)
- Refinement checking on parametric modal transition systems (Q2340259) (← links)
- Proof pearl: The KeY to correct and stable sorting (Q2351413) (← links)
- Verifying data- and control-oriented properties combining static and runtime verification: theory and tools (Q2402555) (← links)
- Formal verification of side-channel countermeasures using self-composition (Q2442950) (← links)
- The Daikon system for dynamic detection of likely invariants (Q2463543) (← links)
- A program logic for resources (Q2463560) (← links)
- Integrating a formal method into a software engineering process with UML and Java (Q2481209) (← links)
- Modular invariants for layered object structures (Q2507783) (← links)
- Synthesis of positive logic programs for checking a class of definitions with infinite quantification (Q2629858) (← links)
- Code-carrying theories (Q2643124) (← links)
- Are the logical foundations of verifying compiler prototypes matching user expectations? (Q2643125) (← links)
- Specification and verification challenges for sequential object-oriented programs (Q2643131) (← links)
- A logic of reachable patterns in linked data-structures (Q2643337) (← links)
- (Q2722012) (← links)
- (Q2753762) (← links)
- (Q2763679) (← links)
- (Q2764132) (← links)
- (Q2769594) (← links)
- (Q2771757) (← links)
- Viper: A Verification Infrastructure for Permission-Based Reasoning (Q2796035) (← links)
- On Refinements of Boolean and Parametric Modal Transition Systems (Q2851908) (← links)
- Defining contracts with different tools in software development (Q2898793) (← links)
- Access permission contracts for scripting languages (Q2942863) (← links)
- (Q2979818) (← links)
- Formalizing a Hierarchical File System (Q2994491) (← links)
- (Q3046739) (← links)
- Dafny: An Automatic Program Verifier for Functional Correctness (Q3066108) (← links)
- Abstract Certification of Global Non-interference in Rewriting Logic (Q3066121) (← links)
- Verification of Software Product Lines with Delta-Oriented Slicing (Q3067535) (← links)
- A Refinement Methodology for Object-Oriented Programs (Q3067544) (← links)
- JMLUnit: The Next Generation (Q3067548) (← links)
- (Q3077280) (← links)
- Hardware-Dependent Proofs of Numerical Programs (Q3100216) (← links)
- WP Semantics and Behavioral Subtyping (Q3105750) (← links)
- Information Flow in Object-Oriented Software (Q3453646) (← links)
- A Hoare Logic for Call-by-Value Functional Programs (Q3521994) (← links)
- Stepwise Development of Simulink Models Using the Refinement Calculus Framework (Q3525076) (← links)
- Proving Theorems About JML Classes (Q3526934) (← links)
- Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract (Q3541972) (← links)
- Hoare type theory, polymorphism and separation (Q3546051) (← links)
- Truncation for Low-Complexity MIMO Signal Detection (Q3548244) (← links)
- (Q3580788) (← links)
- Predicate Abstraction in a Program Logic Calculus (Q3605465) (← links)
- Incremental Reasoning for Multiple Inheritance (Q3605467) (← links)
- Towards Modular Algebraic Specifications for Pointer Programs: A Case Study (Q3608820) (← links)
- Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services (Q3617711) (← links)
- Hoare logic for Java in Isabelle/HOL (Q4329634) (← links)
