Top Java Frameworks & Libraries for formal verification

Generic, modular and configurable formal verification framework supporting various formalisms and algorithms...

PLEXIL5 is a Formal Verification Environment for PLEXIL

Formal verification engine for Verilog with built-in support for simulating flip-flop metastability

A Formal Specification Language Based on Statecharts

This repository comprises material collected and constructed during the course System Validation and Testing (Formal Verification), as taught at Open Universiteit...

A poker system build verified with formal methods and tools (BONc, JML ,ESC/JAVA2)

A formal logic engine that verifies deductive reasoning.

Implementations of concurrent data structures from The Art of Multiprocessor Programming, designed for automatic formal verification....

A simple formal proof verifier and compiler for UW CSE 311