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: 17 Mar 2025
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: 01 Mar 2025
