Giters

Lerbert / asyncac

Tools and case studies for my Master's thesis "Compositional Verification of Communicating UML State Machines"

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

compositional-verificationhaskelluml-state-machineverification

This repository is not active

About

Tools and case studies for my Master's thesis "Compositional Verification of Communicating UML State Machines"

compositional-verificationhaskelluml-state-machineverification

Languages

Language:Haskell 70.8%Language:Dafny 20.8%Language:SMT 7.6%Language:Dockerfile 0.7%Language:Shell 0.1%Language:PowerShell 0.0%