1111 search results - page 11 / 223 » Program Analysis as Model Checking of Abstract Interpretatio... |
ATVA
2008
Springer
15 years 1 months ago
2008
Springer
e Abstraction Arie Gurfinkel1 , Ou Wei2 , and Marsha Chechik2 1 Software Engineering Institute, Carnegie Mellon University 2 Department of Computer Science, University of Toronto A...
LPAR
2005
Springer
15 years 5 months ago
2005
Springer
ECKING ABSTRACT STATE MACHINES WITH ANSWER SET PROGRAMMING by Calvin Kai Fan Tang B.Sc., Simon Fraser University, 2003 a thesis submitted in partial fulfillment of the requirements...
TACAS
2001
Springer
15 years 4 months ago
2001
Springer
FMSP
2000
ACM
15 years 4 months ago
2000
ACM
PEPM
2009
ACM
15 years 8 months 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...