KeY
From MaRDI portal
Cited in
(only showing first 100 items - show all)- A comparison of tools for teaching formal software verification
- An extensible encoding of object-oriented data models in HOL. With an application to IMP++
- Aligator
- Dafny
- JMLUnit
- KeY-C
- ROSMonitoring
- Marathon 2
- Alloy
- Symstra
- IMP++
- SecureUML
- LARCH
- ADORA
- HOL-Z
- SPARK
- KRAKATOA
- Eiffel
- KeYmaera
- ACSL
- Why3
- JML
- Spec#
- Caduceus
- Frama-C
- Alt-Ergo
- KLEE
- Verifying OpenJDK's sort method for generic collections
- HOL-OCL
- Understanding parameters of deductive verification: an empirical investigation of KeY
- Z2sal
- Scala
- ESC/Java
- JUnit
- Rostra
- Eclat
- Assertion-based slicing and slice graphs
- VeriFast
- Boogie
- JACK
- TRX
- Verifying Whiley programs with Boogie
- Multilisp
- vUML
- SOCLE
- Alcoa
- Gray-box monitoring of hyperproperties with an application to privacy
- Formal specification and verification of JDK's identity hash map implementation
- WhyML
- Aligators
- UML2Alloy
- Kelloy
- JKelloy
- Athena
- KIV
- ATL
- FixBag
- LOOP
- DiaGen
- Deductive verification of floating-point Java programs in KeY
- Zen
- ArgoUML
- Uniform substitution at one Fell swoop
- VerCors
- UMLtoCSP
- A verification-driven framework for iterative design of controllers
- Proof pearl: The KeY to correct and stable sorting
- Semantics, calculi, and analysis for object-oriented specifications
- Verifying data- and control-oriented properties combining static and runtime verification: theory and tools
- Refinement and retrenchment for programming language data types
- A program logic for resources
- Modular invariants for layered object structures
- Lingva
- GF
- Snugglebug
- VCGen
- BVD
- DynaMate
- Are the logical foundations of verifying compiler prototypes matching user expectations?
- Viper
- THOR
- Invariants synthesis over a combined domain for automated program verification
- A universal machine for biform theory graphs
- Ensuring the correctness of lightweight tactics for JavaCard dynamic logic
- A proof assistant for Alloy specifications
- Jaza
- scientific article; zbMATH DE number 2177623 (Why is no real title available?)
- Splint
- Java Jr
- OpenJML
- Stabhyli
- Averist
- Quicksort
- ABS
- StaRVOOrS
- LARVA
- MarQ
- CertiKOS
- ProbNetKAT
- VeriFun
This page was built for software: KeY
