h-lin

FTSCS2013

An UPPAAL Framework for Model Checking Automotive Systems with FlexRay Protocol

J-ReCoVer_paper

JenkinsTest

overture

The Overture Tool

pyfst-docker

Docker image for PyFST using OpenFST 1.6.0 and Python 3.6

sv-benchmarks

Collection of Verification Tasks

Trau

travistest

Try Travic-CI and write unit tests

VDM-SPIN

model check VDM using SPIN

trauc_benchmarks

h-lin/FTSCS2013

An UPPAAL Framework for Model Checking Automotive Systems with FlexRay Protocol

h-lin/J-ReCoVer_paper

h-lin/JenkinsTest

h-lin/overture

The Overture Tool

h-lin/pyfst-docker

Docker image for PyFST using OpenFST 1.6.0 and Python 3.6

h-lin/sv-benchmarks

Collection of Verification Tasks

h-lin/Trau

h-lin/travistest

Try Travic-CI and write unit tests

h-lin/VDM-SPIN

model check VDM using SPIN