swMATH9969MaRDI QIDQ21946FDOQ21946
Author name not available (Why is that?)
Official website: http://www.key-project.org/
Cited In (only showing first 100 items - show all)
- Refinement and retrenchment for programming language data types
- Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics
- Sequential, Parallel, and Quantified Updates of First-Order Structures
- A logic for secure memory access of abstract state machines
- FeatherTrait
- Simplify: a theorem prover for program checking
- A universal machine for biform theory graphs
- Mechanical inference of invariants for FOR-loops
- IMP++
- ACSL
- Caduceus
- JML
- Frama-C
- Why3
- Alt-Ergo
- Spec#
- KLEE
- HOL-OCL
- ESC/Java
- Eclat
- Scala
- JUnit
- Rostra
- Z2sal
- Verification conditions for source-level imperative programs
- JACK
- Boogie
- VeriFast
- Alcoa
- TRX
- Multilisp
- Aligators
- SOCLE
- Athena
- ATL
- JKelloy
- Kelloy
- vUML
- FixBag
- KIV
- DiaGen
- WhyML
- LOOP
- UML2Alloy
- ArgoUML
- Viper
- Zen
- VerCors
- UMLtoCSP
- GF
- Lingva
- BVD
- Snugglebug
- DynaMate
- VCGen
- THOR
- Grail
- Jaza
- Java Jr
- Splint
- Averist
- OpenJML
- Quicksort
- ABS
- Stabhyli
- CertiKOS
- LARVA
- MarQ
- ProbNetKAT
- StaRVOOrS
- HimML
- VeriFun
- Unbound
- Bellerophon
- ASMKeY
- JBMC
- DarwinSPL
- DeltaEcore
- SCCharts
- SCEst
- StaDy
- Camelot
- SPL Conqueror
- LeakWatch
- AutoProof
- Jass
- Logitext
- Valigator: A Verification Tool with Bound and Invariant Generation
- IMP2_Binary_Heap
- Bex
- Daisy
- KeY-ABS
- TimSort
- KeYmaera X
- Nagini
- QF_FP
- An extensible encoding of object-oriented data models in HOL. With an application to IMP++
- Modular invariants for layered object structures
- Second-Order Principles in Specification Languages for Object-Oriented Programs
- IdentityHashMap
This page was built for software: KeY
