5015 search results - page 44 / 1003 » Model Checking a Path |
QEST
2010
IEEE
13 years 6 months ago
2010
IEEE
ICCD
2005
IEEE
14 years 2 months ago
2005
IEEE
— With the success of formal verification techniques like equivalence checking and model checking for hardware designs, there has been growing interest in applying such techniqu...
DAC
2000
ACM
14 years 9 months ago
2000
ACM
SIGMETRICS
2010
ACM
13 years 9 months ago
2010
ACM
Abstract Due to complexity and intractability reasons, most of the analytical studies on the reliability of communication paths in mobile ad hoc networks are based on the assumptio...
ENTCS
2006
13 years 8 months ago
2006
In previous work we proposed Linear Programs as a fine grained model for imperative programs, and showed how the model checking procedure used in SLAM can be generalised to a mode...