• JCML

  • Referenced in 2 articles [sw06406]
  • JCML: A specification language for the runtime verification of Java card programs Java Card ... Card applications. To this end, we propose JCML (Java Card modelling language) a specification language ... more complete and precise definition of the JCML language and new experiments and results...
  • Coq

  • Referenced in 1890 articles [sw00161]
  • Coq is a formal proof management system. It...
  • KRAKATOA

  • Referenced in 89 articles [sw03159]
  • The KRAKATOA tool for certification of JAVA/JAVACARD programs...
  • Eiffel

  • Referenced in 289 articles [sw03522]
  • Eiffel is an ISO-standardized, object-oriented programming...
  • Daikon

  • Referenced in 44 articles [sw04319]
  • The Daikon system for dynamic detection of likely...
  • JML

  • Referenced in 189 articles [sw04597]
  • The Java Modeling Language (JML) is a behavioral...
  • Z/EVES

  • Referenced in 44 articles [sw10262]
  • Z/EVES Eclipse prover IDE. Community Z Tools provide...
  • Z

  • Referenced in 286 articles [sw10291]
  • Using Z. Specification, refinement, and proof. The book...
  • LOOP

  • Referenced in 29 articles [sw10292]
  • The LOOP compiler for Java and JML. This...