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