Pinned Repositories
annotationsforall
Public repository of formal specifications for libraries
CodeSonarFramacPlugin
Plugin to integrate Frama-C with Codesonar
Coq-Class
home-assistant
:house_with_garden: Open-source home automation platform running on Python 3
infer
A static analyzer for Java, C, C++, and Objective-C
pfunit-demo
Unit test demo using pFUnit.
JMLAnnotations
The Java annotations defined by JML
OpenJML
This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives from OpenJDK which is so licensed. The active issues list for OpenJML development is here and the wiki contains information relevant to development. Public documentation for users is at the project website:
Specs
Contains the specifications for the Java language used by OpenJML.
smack
SMACK Software Verifier and Verification Toolchain
gunjanaggarwal's Repositories
gunjanaggarwal/Coq-Class
gunjanaggarwal/home-assistant
:house_with_garden: Open-source home automation platform running on Python 3
gunjanaggarwal/infer
A static analyzer for Java, C, C++, and Objective-C
gunjanaggarwal/pfunit-demo
Unit test demo using pFUnit.