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

A formal logic engine that verifies deductive reasoning.

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

A simple formal proof verifier and compiler for UW CSE 311

An extension to ProActive Programming to support Parametrized ADLs and ease formal specification & verification. Moreover all the added machinery comes from provab...

To propose a privacy-preserving and accountable authentication protocol for IoT end-devices.Integration of adapted construction of short group signatures and Shami...

Software Formal Verification

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

Formal Verification with Confidence Intervals

Formal Verification Methods - Homework 1

Formal Models For System Verification course notes

Automating formal verification of simulation models.

Introduction to FORMAl Verification Methods - 2018/Fall

Integrate formal verification into CI/CD pipelines

Black box testing, White box testing, Formal Specifications and Formal verification

Verifier and deductor for propositions in Formal Arithmetic

A user interface for formal verification with the K Framework

A compiler for the language of formal verification "Time AG Lotos"

The Simulated Automative Environment (SAE) comprises both, implementation and formal verification of intelligent agents using the MCAPL framework....

All the SPARQL query tests to formally verify that Java code is correctly represented in the Knowledgebase...

Proof of concept implementation for paper entitled Deployment by Construction for Multi- core Architectures which appeared in the Proceedings of the 8th Internati...

Formal methods in software development examples including LTL model checking via PROMELA/spin, and static verification of Java programs using the KeY tool....

Placidus is a formal verification and management platform for Software Defined Networks, and it has a core that verifies the following properties: conflicts, redun...

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