2661 search results - page 176 / 533 » Model Checking Performability Properties |
167
Voted
VLSID
2010
IEEE
15 years 1 months ago
2010
IEEE
Directed test generation is important for the functional verification of complex system-on-chip designs. SAT based bounded model checking is promising for counterexample generatio...
139
Voted
INFOCOM
2003
IEEE
15 years 9 months ago
2003
IEEE
— A Mobile Ad hoc Network (MANET) is a collection of wireless mobile nodes forming a temporary network without using any existing infrastructure. Since not many MANETs are curren...
141
Voted
PLDI
2006
ACM
15 years 9 months ago
2006
ACM
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...
107
Voted
SAC
2009
ACM
15 years 10 months ago
2009
ACM
This paper presents a methodology for interoperability testing based on contextual signatures and passive testing with invariants. The concept of contextual signature offers a fra...
166
Voted
ISCA
2012
IEEE
13 years 6 months ago
2012
IEEE
Data-race freedom is a valuable safety property for multithreaded programs that helps with catching bugs, simplifying memory consistency model semantics, and verifying and enforci...