Vacuity in practice: temporal antecedent failure | 2 | 0.36 | 2015 |
Improving Representative Computation in ExpliSAT. | 1 | 0.35 | 2013 |
Verification of software changes with ExpliSAT | 1 | 0.35 | 2012 |
Analyzing the behavior of event processing applications | 12 | 0.73 | 2010 |
Temporal antecedent failure: refining vacuity | 10 | 0.56 | 2007 |
Main Results of PROSYD - Methodologies and Tools for Writing Reusable PSL Assertions | 0 | 0.34 | 2006 |
The safety simple subset | 8 | 0.55 | 2005 |
Embedding finite automata within regular expressions | 5 | 0.51 | 2004 |
Automatic Deductive Verification with Invisible Invariants | 134 | 4.04 | 2001 |
Parameterized Verification with Automatically Computed Inductive Assertions | 111 | 3.68 | 2001 |
Herbrand Automata for Hardware Verification | 9 | 1.24 | 1998 |
On the decisional complexity of problems over the reals | 0 | 0.34 | 1996 |