1492 search results - page 11 / 299 » Automatic Software Model Checking Using CLP |
ICFEM
2004
Springer
15 years 5 months ago
2004
Springer
Iterative abstraction refinement has emerged in the last few years as the leading approach to software model checking. In this context Boolean programs are commonly employed as si...
108
Voted
VMCAI
2005
Springer
15 years 5 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 ...
ICRA
2000
IEEE
15 years 4 months ago
2000
IEEE
110
Voted
FM
2003
Springer
15 years 4 months ago
2003
Springer
Safety is increasingly important for software based, critical systems. Fault tree analysis (FTA) is a safety technique from engineering, developed for analyzing and assessing syste...
114
click to vote
PLDI
2009
ACM
15 years 6 months ago
2009
ACM
Multicore designs have emerged as the mainstream design paradigm for the microprocessor industry. Unfortunately, providing multiple cores does not directly translate into performa...