The following pages link to KeY (Q21946):
Displaying 27 items.
- Verification conditions for source-level imperative programs (Q465685) (← links)
- A logic for secure memory access of abstract state machines (Q555787) (← links)
- Mechanical inference of invariants for FOR-loops (Q604381) (← links)
- Invariant-driven specifications in Maude (Q838161) (← links)
- A comparison of tools for teaching formal software verification (Q1019026) (← links)
- An extensible encoding of object-oriented data models in HOL. With an application to IMP++ (Q1040775) (← links)
- Verifying OpenJDK's sort method for generic collections (Q1725846) (← links)
- Understanding parameters of deductive verification: an empirical investigation of KeY (Q1791175) (← links)
- Assertion-based slicing and slice graphs (Q1941855) (← links)
- Verifying Whiley programs with Boogie (Q2102933) (← links)
- Gray-box monitoring of hyperproperties with an application to privacy (Q2147690) (← links)
- Formal specification and verification of JDK's identity hash map implementation (Q2165501) (← links)
- Deductive verification of floating-point Java programs in KeY (Q2233510) (← links)
- Uniform substitution at one Fell swoop (Q2305431) (← links)
- A verification-driven framework for iterative design of controllers (Q2335947) (← links)
- Proof pearl: The KeY to correct and stable sorting (Q2351413) (← links)
- Semantics, calculi, and analysis for object-oriented specifications (Q2390933) (← links)
- Verifying data- and control-oriented properties combining static and runtime verification: theory and tools (Q2402555) (← links)
- Refinement and retrenchment for programming language data types (Q2432217) (← links)
- A program logic for resources (Q2463560) (← links)
- Modular invariants for layered object structures (Q2507783) (← links)
- Are the logical foundations of verifying compiler prototypes matching user expectations? (Q2643125) (← links)
- Invariants Synthesis over a Combined Domain for Automated Program Verification (Q2842643) (← links)
- A Universal Machine for Biform Theory Graphs (Q2843007) (← links)
- Ensuring the Correctness of Lightweight Tactics for JavaCard Dynamic Logic (Q2871841) (← links)
- A Proof Assistant for Alloy Specifications (Q2894289) (← links)
- (Q3021903) (← links)
