Available

Up one level

Parser for AMTV

Write or bind a parser/lexer of an imperative language for the AMTV tool. The programming language is OCAML. The source language should be preferrably C or a subset thereof.

BDDs for Cartesian Products + Threshold

BDD-based verification with large polynomial guarantees

Diameter of multithreaded programs

Explore the asymptotic diameter of finite-state multithreaded programs.