Here we provide the source code and the benchmarks for the TypeEQ tool:

typeeq.zip

benchmarks.zip

• HoRSt
  
• Wappler
  
• eThor
  
• HornDroid
  
• EthSemantics
  

• back