JML
From MaRDI portal
swMATH4597MaRDI QIDQ16768FDOQ16768
Author name not available (Why is that?)
Official website: http://www.eecs.ucf.edu/~leavens/JML/
Cited In (only showing first 100 items - show all)
- The Daikon system for dynamic detection of likely invariants
- Tools and Algorithms for the Construction and Analysis of Systems
- Algebraic Methodology and Software Technology
- Dafny
- HasCasl
- JMLUnit
- Title not available (Why is that?)
- Modula
- Valigator
- WSAT
- POOC
- jContractor
- Virginity
- Symstra
- Ada95
- ArcAngel
- JavaFAN
- LARCH
- AGVI
- SCOOP
- ECDAR
- TASC
- KRAKATOA
- CLOS
- SPARK
- Eiffel
- PVS
- ACSL
- Daikon
- GeoSteiner
- Caduceus
- JACK
- Frama-C
- Omnibus
- Valgrind
- Why3
- Alt-Ergo
- Spec#
- SIMPLIFY
- CZT
- JCML
- Casper
- Bogor
- UniTESK
- BPEL2PN
- ESC/Java
- ATGen
- Korat
- JUnit
- Pex
- SANTE
- Rostra
- VCC
- JACK
- Title not available (Why is that?)
- Boogie
- Chalice
- VeriFast
- Motras
- Alcoa
- Creol
- ASPIER
- GENA
- MIO Workbench
- dSPIN
- iJulienne
- JPAX
- Smallfoot
- Anima
- KeY
- KIV
- WhyML
- VeriCool
- LOOP
- Checkstyle
- Spi2Java
- Web-TLR
- Z/EVES
- Z
- jStar
- FDR2
- NModel
- VerCors
- PVSio
- JCrasher
- CSPsim
- Grasshopper
- Java-MOP
- MOP
- PrologCheck
- ADABU
- Featherweight Java
- ProBE
- RALib
- JCML: A specification language for the runtime verification of Java card programs
- Valigator: A Verification Tool with Bound and Invariant Generation
- jContractor: Introducing design-by-contract to Java using reflective bytecode instrumentation
- CPBPV: a constraint-programming framework for bounded program verification
- Dafny: an automatic program verifier for functional correctness
- JMLUnit: the next generation
This page was built for software: JML
