126 search results - page 17 / 26 » Formal Verification of FIRE: A Case Study |
113
click to vote
FMICS
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Bounded model checking (BMC) based on satisfiability testing (SAT) has been introduced as a complementary technique to BDDbased symbolic model checking of LTL properties ...
104
click to vote
LOGCOM
2010
14 years 6 months ago
2010
Perfect pre-deployment test coverage is notoriously difficult to achieve for large applications. Given enough end users, however, many more test cases will be encountered during a...
131
click to vote
CIBSE
2008
ACM
15 years 1 months ago
2008
ACM
Abstract. Software testing is an expensive and time-consuming activity; it is also error-prone due to human factors. But, it still is the most common effort used in the software in...
108
click to vote
AIME
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. Clinical guidelines (GLs) play an important role to standardize and organize clinical processes according to evidence-based medicine. Several computer-based GL representa...
134
click to vote
FMCAD
2006
Springer
15 years 3 months ago
2006
Springer
The importance of re-usable Intellectual Properties (IPs) cores is increasing due to the growing complexity of today's system-on-chip and the need for rapid prototyping. In th...