Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with jml
A curated list of projects in awesome lists tagged with jml .
https://github.com/coq-community/jmlcoq
Coq definition of JML and a verified runtime assertion checker [maintainer=@palmskog]
coq docker-coq-action java jml nix-action runtime-checking
Last synced: 24 Nov 2024
https://github.com/isaacmaffeis/gaming_console-testing
Exam project of the university course: Testing and Software Verification
asmeta codecoverage java jframe jml junit4 maven travis-ci verifycode
Last synced: 12 Jan 2025
