862 search results - page 42 / 173 » Model Checking Interrupt-Dependent Software |
127
click to vote
BELL
2000
15 years 3 months ago
2000
A significant part of the call processing software for Lucent's new PathStar access server [FSW98] was checked with automated formal verification techniques. The verification...
113
click to vote
ACSAC
2010
IEEE
15 years 1 months ago
2010
IEEE
Leakage of confidential information represents a serious security risk. Despite a number of novel, theoretical advances, it has been unclear if and how quantitative approaches to ...
135
click to vote
ICFEM
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Refinement plays a crucial role in "top-down" styles of verification, such as the refinement calculus, but for probabilistic systems proof of refinement is a pa...
126
click to vote
SE
2007
15 years 4 months ago
2007
: Property Driven Development is a methodology to check the validity of a distributed application and its conformance to specified requirements. A first prototype supporting this...
102
click to vote
PEPM
2009
ACM
16 years 1 days ago
2009
ACM
Exhaustive model checking search techniques are ineffective for error discovery in large and complex multi-threaded software systems. Distance estimate heuristics guide the concre...