Home

Welcome to the Behavioral Types (BehT) Wiki!

Our work on Behavioral Types has started
There is a page on

• Our related publications
• A screenshot of an older version
• Some .jar files for download that realize the runtime checking of behavioral types and some installation instructions

---

Jan Blech 2013