| A Transformational Approach for Generating Non-linear Invariants | 8 | 0.79 | 2000 |
| IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems | 43 | 2.29 | 1999 |
| CADP - A Protocol Validation and Verification Toolbox | 192 | 11.08 | 1996 |
| Using On-The-Fly Verification Techniques for the Generation of test Suites | 98 | 9.45 | 1996 |
| An Algorithm for Reducing Binary Branchings | 6 | 0.64 | 1995 |
| Model-Based Verification Methods and Tools (Abstract) | 0 | 0.34 | 1994 |
| Symbolic Equivalence Checking | 24 | 2.74 | 1993 |
| Verifying Bisimulations "On the Fly" | 24 | 1.85 | 1990 |
