Publications
- Threaded Behavior Protocols2013 | Faculty of Mathematics and Physics
- eVolCheck: Incremental Upgrade Checker for C2013 | Faculty of Mathematics and Physics
- Leveraging Interpolant Strength in Model Checking2012 | Faculty of Mathematics and Physics
- FunFrog: Bounded Model Checking with Interpolation-based Function Summarization2012 | Faculty of Mathematics and Physics
- Incremental Upgrade Checking by Means of Interpolation-based Function Summaries2012 | Faculty of Mathematics and Physics
- On Teaching Formal Methods: Behavior Models and Code Analysis2009 | Faculty of Mathematics and Physics
- UnitCheck: Unit Testing and Model Checking Combined2009 | Faculty of Mathematics and Physics
- Modes in component behavior specification via EBP and their application in product lines2009 | Faculty of Mathematics and Physics
- Making Components Fit: SPINing2009 | Faculty of Mathematics and Physics
- Enhanced Property Specification and Verification in BLAST2009 | Faculty of Mathematics and Physics
Loading network view...