2282 search results - page 213 / 457 » Active property checking |
331
Voted
KR
2010
Springer
15 years 9 months ago
2010
Springer
Handling exceptions in a knowledge-based system has been considered as an important issue in many domains of applications, such as medical domain. In this paper, we propose severa...
120
click to vote
KBSE
2000
IEEE
15 years 9 months ago
2000
IEEE
Although peripheral devices come out at a frantic pace and require fast releases of drivers, little progress has been made to improve the development of drivers. Too often, this d...
203
Voted
ISSTA
2000
ACM
15 years 9 months ago
2000
ACM
A method for finding bugs in code is presented. For given small numbers j and k, the code of a procedure is translated into a relational formula whose models represent all executi...
133
click to vote
ICCAD
1994
IEEE
15 years 9 months ago
1994
IEEE
Language containment is a method for design verification that involves checking if the behavior of the system to be verified is a subset of the behavior of the specifications (pro...
194
Voted
CAV
1994
Springer
15 years 9 months ago
1994
Springer
We introduce event-recording automata. An event-recording automaton is a timed automaton that contains, for every event a, a clock that records the time of the last occurrence of a...