Awesome Open Source

Programming Languages

Search results for java model checking

model-checking x

12 search results found

Tlaplus ⭐ 2,154

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Blockingqueue ⭐ 461

Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!

Ultimate ⭐ 175

The Ultimate program analysis framework.

Static checker for Java

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

DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurity Threats (VERDICT)

Automata Learning EXperience (ALEX) - A free and open-source web application for testing and learning web applications via active automata learning

Modelpolisher ⭐ 23

ModelPolisher accesses the BiGG Models knowledgebase to annotate SBML models.

A Shape Analysis Tool based on Graph Grammars

Kaptan Field Checker ⭐ 9

A Class Field Value Validation Library.

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

Related Searches

Java Spring (21,350)

Java Spring Boot (11,982)

Java Video Game (8,093)

Java Gradle (8,072)

Java Docker (6,105)

Java Database (6,015)

Java Mysql (5,954)

Java Sdk (5,864)

Javascript Java (5,468)

Java Rest (4,956)

1-12 of 12 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.