| FVCAG: A framework for formal verification driven power modeling and verification. | 0 | 0.34 | 2016 |
| The art of semi-formal bug hunting. | 0 | 0.34 | 2016 |
| Effective Liveness Verification Using a Transformation-Based Framework | 0 | 0.34 | 2014 |
| Design of concurrent utilities in jackal: a software DSM implementation | 1 | 0.35 | 2008 |
| Semiformal Verification of Temporal Properties in Embedded Software. | 1 | 0.40 | 2007 |
| Grid Based Fast Falsification For Bounded Property Checking | 0 | 0.34 | 2007 |
