Publikace projektu
- Mono Regression Benchmarking (2005)
- Addressing Static Execution Overhead in Connectors with Disabled Optional Features (2006)
- Specification and Generation of Environment for Model Checking of Software Compnents (2005)
- Enhancing Behavior Protocols with Atomic Actions (2005)
- Software Component Verification: On Translating Behavior Protocols to Promela (2006)
- Extending Behavior Protocols With Data and Multisynchronization (2006)
- Model Checking of Software Components: Making Java PathFinder Cooperate with Behavior Protocol Checker (2006)
- Assume-Guarantee Verification of Software Components in SOFA 2 Framework (2010)