1796 search results - page 90 / 360 » An Approach to Compositional Model Checking |
135
click to vote
VMCAI
2005
Springer
15 years 8 months ago
2005
Springer
Bounded model checking (BMC) is an automatic verification method that is based on a finite unfolding of the system’s transition relation. BMC has been successfully applied, in ...
114
click to vote
IPPS
2007
IEEE
15 years 8 months ago
2007
IEEE
Performance tuning involves a diagnostic process to locate and explain sources of program inefficiency. A performance diagnosis system can leverage knowledge of performance cause...
120
click to vote
FMCAD
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. This paper presents a scalable method for parallel symbolic on-the-fly model checking in a distributed memory environment. Our method combines a scheme for on-the-fly mod...
100
click to vote
PEPM
2009
ACM
15 years 11 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...
100
click to vote
AH
2006
Springer
15 years 8 months ago
2006
Springer
This paper provides a solution to discourse structure adaptation in the process of automatic hypermedia presentation generation. Existing approaches to discourse structure composit...