Giters

xvanick1 / ia169

FI MUNI IA169 System Verification and Assurance Symbolic Executor - Autumn 2020

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

FI MUNI IA169 System Verification and Assurance Symbolic Executor - Autumn 2020

Languages

Language:Python 89.0%Language:Dafny 4.3%Language:Raku 3.6%Language:Makefile 3.1%