Otto-von-Guericke-Universität Magdeburg

 
 
 
 
 
 
 
 

Hets - the Heterogeneous Tool Set

Hets is a parsing, static analysis and proof management tool incorporating various provers and different specification languages, thus providing a tool for heterogeneous specifications. Logic translations are first-class citizens.

Hets homepage

Letzte Änderung: 27.02.2017 - Contact Person: Webmaster