» Testing » KeY » Java Open Source
Java Open Source
»
Testing
»
KeY
KeY Testing Tools
License:
GNU General Public License (GPL)
URL:
http://www.key-project.org
Description:
The KeY-System is mainly a verification and testing tool for Java with JML/OCL contracts.
KeY \ de \ uka \ ilkd \ key \
KeY \ de \ uka \ ilkd \ key \ casetool \
KeY \ de \ uka \ ilkd \ key \ casetool \ eclipse \
KeY \ de \ uka \ ilkd \ key \ casetool \ patternimplementor \
KeY \ de \ uka \ ilkd \ key \ casetool \ patternimplementor \ patterns \
KeY \ de \ uka \ ilkd \ key \ casetool \ together \
KeY \ de \ uka \ ilkd \ key \ casetool \ together \ keydebugclassloader \
KeY \ de \ uka \ ilkd \ key \ casetool \ together \ patterns \ HelperClasses \ MyParser \
KeY \ de \ uka \ ilkd \ key \ casetool \ together \ patterns \ HelperClasses \ MyPatternBase \
KeY \ de \ uka \ ilkd \ key \ casetool \ together \ patterns \ JAVA \ CLASS \ KeY_GoF \ Composite \
KeY \ de \ uka \ ilkd \ key \ casetool \ together \ patterns \ JAVA \ CLASS \ KeY_GoF \ Decorator \
KeY \ de \ uka \ ilkd \ key \ casetool \ together \ patterns \ JAVA \ CLASS \ KeY_GoF \ Observer \
KeY \ de \ uka \ ilkd \ key \ casetool \ together \ patterns \ JAVA \ CLASS \ KeY_Idiom \ InvariantConstraints \
KeY \ de \ uka \ ilkd \ key \ casetool \ together \ patterns \ JAVA \ MEMBER \ KeY_Idiom \ MethSpecConstraints \
KeY \ de \ uka \ ilkd \ key \ casetool \ together \ scripts \ menuextension \
KeY \ de \ uka \ ilkd \ key \ casetool \ together \ scripts \ patternmechanism \
KeY \ de \ uka \ ilkd \ key \ casetool \ together \ scripts \ patternupdate \
KeY \ de \ uka \ ilkd \ key \ casetool \ together \ scripts \ probe \ helloworldcall \
KeY \ de \ uka \ ilkd \ key \ collection \
KeY \ de \ uka \ ilkd \ key \ counterexample \
KeY \ de \ uka \ ilkd \ key \ cspec \
KeY \ de \ uka \ ilkd \ key \ gui \
KeY \ de \ uka \ ilkd \ key \ gui \ assistant \
KeY \ de \ uka \ ilkd \ key \ gui \ configuration \
KeY \ de \ uka \ ilkd \ key \ gui \ nodeviews \
KeY \ de \ uka \ ilkd \ key \ gui \ notification \
KeY \ de \ uka \ ilkd \ key \ gui \ notification \ actions \
KeY \ de \ uka \ ilkd \ key \ gui \ notification \ events \
KeY \ de \ uka \ ilkd \ key \ gui \ prooftree \
KeY \ de \ uka \ ilkd \ key \ java \
KeY \ de \ uka \ ilkd \ key \ java \ abstraction \
KeY \ de \ uka \ ilkd \ key \ java \ annotation \
KeY \ de \ uka \ ilkd \ key \ java \ declaration \
KeY \ de \ uka \ ilkd \ key \ java \ declaration \ modifier \
KeY \ de \ uka \ ilkd \ key \ java \ expression \
KeY \ de \ uka \ ilkd \ key \ java \ expression \ literal \
KeY \ de \ uka \ ilkd \ key \ java \ expression \ operator \
KeY \ de \ uka \ ilkd \ key \ java \ recoderext \
KeY \ de \ uka \ ilkd \ key \ java \ reference \
KeY \ de \ uka \ ilkd \ key \ java \ statement \
KeY \ de \ uka \ ilkd \ key \ java \ visitor \
KeY \ de \ uka \ ilkd \ key \ javacard \
KeY \ de \ uka \ ilkd \ key \ jml \
KeY \ de \ uka \ ilkd \ key \ logic \
KeY \ de \ uka \ ilkd \ key \ logic \ ldt \
KeY \ de \ uka \ ilkd \ key \ logic \ op \
KeY \ de \ uka \ ilkd \ key \ logic \ op \ oclop \
KeY \ de \ uka \ ilkd \ key \ logic \ sort \
KeY \ de \ uka \ ilkd \ key \ logic \ sort \ oclsort \
KeY \ de \ uka \ ilkd \ key \ logic \ util \
KeY \ de \ uka \ ilkd \ key \ ocl \
KeY \ de \ uka \ ilkd \ key \ ocl \ gf \
KeY \ de \ uka \ ilkd \ key \ parser \
KeY \ de \ uka \ ilkd \ key \ parser \ jml \
KeY \ de \ uka \ ilkd \ key \ parser \ ocl \
KeY \ de \ uka \ ilkd \ key \ pp \
KeY \ de \ uka \ ilkd \ key \ proof \
KeY \ de \ uka \ ilkd \ key \ proof \ decproc \
KeY \ de \ uka \ ilkd \ key \ proof \ decproc \ smtlib \
KeY \ de \ uka \ ilkd \ key \ proof \ decproc \ translation \
KeY \ de \ uka \ ilkd \ key \ proof \ examples \
KeY \ de \ uka \ ilkd \ key \ proof \ incclosure \
KeY \ de \ uka \ ilkd \ key \ proof \ init \
KeY \ de \ uka \ ilkd \ key \ proof \ mgt \
KeY \ de \ uka \ ilkd \ key \ proof \ proofevent \
KeY \ de \ uka \ ilkd \ key \ proof \ reuse \
KeY \ de \ uka \ ilkd \ key \ rule \
KeY \ de \ uka \ ilkd \ key \ rule \ conditions \
KeY \ de \ uka \ ilkd \ key \ rule \ encapsulation \
KeY \ de \ uka \ ilkd \ key \ rule \ export \
KeY \ de \ uka \ ilkd \ key \ rule \ export \ html \
KeY \ de \ uka \ ilkd \ key \ rule \ inst \
KeY \ de \ uka \ ilkd \ key \ rule \ metaconstruct \
KeY \ de \ uka \ ilkd \ key \ rule \ metaconstruct \ arith \
KeY \ de \ uka \ ilkd \ key \ rule \ soundness \
KeY \ de \ uka \ ilkd \ key \ rule \ updatesimplifier \
KeY \ de \ uka \ ilkd \ key \ speclang \
KeY \ de \ uka \ ilkd \ key \ speclang \ jml \
KeY \ de \ uka \ ilkd \ key \ speclang \ ocl \
KeY \ de \ uka \ ilkd \ key \ strategy \
KeY \ de \ uka \ ilkd \ key \ strategy \ feature \
KeY \ de \ uka \ ilkd \ key \ strategy \ feature \ instantiator \
KeY \ de \ uka \ ilkd \ key \ strategy \ quantifierHeuristics \
KeY \ de \ uka \ ilkd \ key \ strategy \ termfeature \
KeY \ de \ uka \ ilkd \ key \ strategy \ termgenerator \
KeY \ de \ uka \ ilkd \ key \ strategy \ termProjection \
KeY \ de \ uka \ ilkd \ key \ unittest \
KeY \ de \ uka \ ilkd \ key \ unittest \ cogent \
KeY \ de \ uka \ ilkd \ key \ unittest \ simplify \
KeY \ de \ uka \ ilkd \ key \ unittest \ simplify \ ast \
KeY \ de \ uka \ ilkd \ key \ util \
KeY \ de \ uka \ ilkd \ key \ util \ install \
KeY \ de \ uka \ ilkd \ key \ util \ keydoc \ html \
KeY \ de \ uka \ ilkd \ key \ util \ make \
KeY \ de \ uka \ ilkd \ key \ util \ pp \
KeY \ de \ uka \ ilkd \ key \ visualdebugger \
KeY \ de \ uka \ ilkd \ key \ visualdebugger \ executiontree \
KeY \ de \ uka \ ilkd \ key \ visualdebugger \ statevisualisation \
KeY \ de \ uka \ ilkd \ key \ visualization \
KeY \ java \ io \
KeY \ java \ lang \
KeY \ java \ math \
KeY \ java \ util \
KeY \ javacard \ framework \
KeY \ junit \ framework \
KeY \ org \ jmlspecs \ lang \
KeY \ org \ jmlspecs \ models \
KeY \ proofVisualization \
KeY \ proofVisualization \ views \
KeY \ src \
KeY \ visualdebugger \
KeY \ visualdebugger \ actions \
KeY \ visualdebugger \ draw2d \
KeY \ visualdebugger \ views \
java2s.com
|
Contact Us
|
Privacy Policy
Copyright 2009 - 12 Demo Source and Support. All rights reserved.
All other trademarks are property of their respective owners.