hgoes/language-nusmv

Stars
1
Language
Haskell
Created almost 13 years ago
Updated over 10 years ago

hgoes/language-nusmv

hgoes

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Haskell parser for the NuSMV input language

smtlib2

SMTLib2 interface implementation for Haskell

language-scade

A SCADE parser and pretty printer written in Haskell

bdd

A shared, ordered binary decision diagram library written in Haskell

llvm-ir

An LLVM IR parser for Rust

vvt

The Vienna Verification Toolkit

quantum-algorithm-cheatsheet

A cheatsheet for the course "Quantenalgorithmen" at TU Braunschweig

nbis

A SMT based LLVM code checker

bindings-llvm

A low level binding to the C++ API of LLVM for Haskell

fac

The fast aiger checker

gtl

The GALS Transformation Language

context-trainer

A tool to create context classifiers from training data

context-common

A support library for the projects context-annotator and context-collector

language-promela

A promela parser and pretty printer written in Haskell

language-uppaal

Parser and pretty printer for the UPPAAL language

context-collector

A tool to record sensor data from mobile phones

master-thesis

Verification of GALS Systems

context-annotator

A GUI application to annotate large sensor data files

context-classifier

A context-recognition application for mobile devices

merge-headers

A program to merge conflicting C headers

hike

Pike in Haskell

smc

Exercise Code for Software Model Checking 2015 @ TU Vienna

modelicus

Aspect Oriented Rule Language for Modelica