1111 search results - page 43 / 223 » Program Analysis as Model Checking of Abstract Interpretatio... |
105
click to vote
ICCAD
2005
IEEE
15 years 11 months ago
2005
IEEE
Abstract— In bounded model checking (BMC)-based verification flows lack of reachability constraints often leads to false negatives. At present, it is daily practice of a veri...
123
click to vote
EUC
2008
Springer
15 years 4 months ago
2008
Springer
Static path analysis is a key process of Worst Case Execution Time (WCET) estimation, the objective of which is to find the execution path that has the largest execution time. Cur...
116
click to vote
SIGSOFT
1996
ACM
15 years 6 months ago
1996
ACM
ing Dependencies between Software Configuration Items CARL A. GUNTER University of Pennsylvania icle studies an abstract model of dependencies between software configuration items ...
119
Voted
IFIP
2009
Springer
15 years 4 days ago
2009
Springer
Security-sensitive business processes are business processes that must comply with security requirements (e.g. authorization constraints). In previous works it has been shown that ...
100
Voted
KBSE
2007
IEEE
15 years 8 months ago
2007
IEEE
toolkit demonstrates that predicate abstraction enables automated verification of real world Windows device Our predicate abstraction-based tool DDVerify enables the automated ve...