Giters

tthuem / CorC

Tool Support for Correctness-by-Construction

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

CorC

Tool Support for Correctness-by-Construction

C-CorC

Tool Support for Confidentiality- and Correctness-by-Construction

About

Tool Support for Correctness-by-Construction

Languages

Language:Java 91.0%Language:GAP 8.0%Language:Xtend 1.0%