203 search results - page 30 / 41 » Pushdown Module Checking |
ECSQARU
2007
Springer
15 years 5 months ago
2007
Springer
We describe COBA 2.0, an implementation of a consistency-based framework for expressing belief change, focusing on revision and contraction (possibly) incorporating integrity cons...
SEW
2006
IEEE
15 years 5 months ago
2006
IEEE
Pseudo-exhaustive testing uses the empirical observation that, for broad classes of software, a fault is likely triggered by only a few variables interacting. The method takes adv...
85
Voted
ISWC
2002
IEEE
15 years 4 months ago
2002
IEEE
This paper explores the application of wearable computer systems to threat response, exemplified by the Multi-functional Micro-controllable Interface Module (MMIM)/Digital Militar...
104
Voted
DATE
2004
IEEE
15 years 3 months ago
2004
IEEE
Functional verification is widely acknowledged as a major bottleneck in microprocessor design. While early work on specification driven functional test program generation has prop...
SPIN
2000
Springer
15 years 3 months ago
2000
Springer
In this paper, we describe our application of SPIN 1 to model an algorithm used to synchronize the clocks of modules that provide periodic real-time communication over a network. W...