| JayHorn: A Java Model Checker - (Competition Contribution). | 0 | 0.34 | 2019 |
| Reachability Analysis For Aws-Based Networks | 2 | 0.35 | 2019 |
| Quantified Heap Invariants for Object-Oriented Programs. | 0 | 0.34 | 2017 |
| Automated analysis of Stateflow models. | 0 | 0.34 | 2017 |
| JDart: A Dynamic Symbolic Analysis Framework. | 9 | 0.55 | 2016 |
| Resource Contracts for Java. | 0 | 0.34 | 2016 |
| Synthesizing Ranking Functions from Bits and Pieces. | 13 | 0.49 | 2016 |
| Releasing the PSYCO: Using Symbolic Search in Interface Generation for Java. | 0 | 0.34 | 2016 |
| Hierarchical State Machines As Modular Horn Clauses | 0 | 0.34 | 2016 |
| Jayhorn: A Framework For Verifying Java Programs | 8 | 0.57 | 2016 |
| CoCoSpec: A Mode-Aware Contract Language for Reactive Systems. | 7 | 0.51 | 2016 |
| Verifying the Safety of a Flight-Critical System. | 12 | 0.70 | 2015 |
| SeaHorn: A Framework for Verifying C Programs (Competition Contribution). | 17 | 0.71 | 2015 |
| Algorithmic logic-based verification | 0 | 0.34 | 2015 |
| Finding Inconsistencies in Programs with Loops. | 1 | 0.36 | 2015 |
| Compilation of synchronous observers as code contracts | 4 | 0.43 | 2015 |
| The Seahorn Verification Framework | 61 | 1.35 | 2015 |
| Synthesizing Modular Invariants For Synchronous Code | 0 | 0.34 | 2014 |
| Testing-Based Compiler Validation for Synchronous Languages. | 4 | 0.40 | 2014 |
| Incremental Invariant Generation Using Logic-Based Automatic Abstract Transformers. | 11 | 0.56 | 2013 |
| On the whereabouts of CSP-CASL - A survey. | 0 | 0.34 | 2013 |
| Invariant stream generators using automatic abstract transformers based on a decidable logic | 2 | 0.37 | 2012 |
| Incremental verification with mode variable invariants in state machines | 3 | 0.40 | 2012 |
| Pkind: A Parallel K-Induction Based Model Checker | 35 | 1.27 | 2011 |
| Instantiation-Based Invariant Discovery | 20 | 0.98 | 2011 |
| Specification-Based Testing for Software Product Lines | 0 | 0.34 | 2008 |
| Implementing Spi Calculus Using Nominal Techniques | 4 | 0.45 | 2008 |
| Property Preserving Refinement for Csp-Casl | 3 | 0.43 | 2008 |
| Specification-based testing for refinement | 5 | 0.51 | 2007 |
