131 search results - page 3 / 27 » Abstract Counterexamples for Non-disjunctive Abstractions |
CAV
2003
Springer
13 years 10 months ago
2003
Springer
BIRTHDAY
2006
Springer
13 years 8 months ago
2006
Springer
CAV
2006
Springer
13 years 8 months ago
2006
Springer
FMCAD
2007
Springer
13 years 11 months ago
2007
Springer
— Induction has been studied in model checking for proving the validity of safety properties, i.e., showing the absence of counterexamples. To our knowledge, induction has not be...
TIT
2010
12 years 11 months ago
2010
Abstract--Gibilisco and Isola have recently proposed a definition of Fisher information for random variables taking values in a finite group that is analogous to the definition for...