wytseoortwijn Goto Github PK

carbon

Verification-condition-generation-based verifier for the Viper intermediate verification language.

com.github.javabdd

JavaBDD: A Java library for Binary Decision Diagrams (BDDs)

csl-abstractions

gobra

Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.

htable

mcrl2.tmbundle

TextMate language bundle for mCRL2

memphis

researchtopics

silicon

Symbolic-execution-based verifier for the Viper intermediate verification language.

silver

Definition of the Viper intermediate verification language.

ssg

Experimental parallel distributed state space generator written in Erlang.

starvoors-tool

The overall purpose of the StaRVOOrS project (`Unified Static and Runtime Verification of Object-Oriented Software') is to provide a unified, lightweight to use but powerful in result, method for specifying and verifying, with a variety of confidence levels, properties of parallel object-oriented software systems. This project is funded by The Swedish Research Council (Vetenskapsrådet.)

supplementarymaterialsthesis

Supplementary materials accompanying the thesis "Deductive Techniques for Model-Based Concurrency Verification"

sylvan

Implementation of multi-core (binary) decision diagrams

vercors

The VerCors tool set for Verification of Concurrent Software

vmcai20-sharedmemabstr

Practical Abstractions for Automated Verification of Shared-Memory Concurrency