Pinned Repositories
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.
VMCAI20-SharedMemAbstr
Practical Abstractions for Automated Verification of Shared-Memory Concurrency
wytseoortwijn's Repositories
wytseoortwijn/VMCAI20-SharedMemAbstr
Practical Abstractions for Automated Verification of Shared-Memory Concurrency
wytseoortwijn/carbon
Verification-condition-generation-based verifier for the Viper intermediate verification language.
wytseoortwijn/com.github.javabdd
JavaBDD: A Java library for Binary Decision Diagrams (BDDs)
wytseoortwijn/csl-abstractions
wytseoortwijn/gobra
Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.
wytseoortwijn/htable
wytseoortwijn/mCRL2.tmbundle
TextMate language bundle for mCRL2
wytseoortwijn/memphis
wytseoortwijn/researchtopics
wytseoortwijn/silicon
Symbolic-execution-based verifier for the Viper intermediate verification language.
wytseoortwijn/silver
Definition of the Viper intermediate verification language.
wytseoortwijn/ssg
Experimental parallel distributed state space generator written in Erlang.
wytseoortwijn/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.)
wytseoortwijn/SupplementaryMaterialsThesis
Supplementary materials accompanying the thesis "Deductive Techniques for Model-Based Concurrency Verification"
wytseoortwijn/sylvan
Implementation of multi-core (binary) decision diagrams
wytseoortwijn/vercors
The VerCors tool set for Verification of Concurrent Software