1980 search results - page 108 / 396 » Compositional Model Checking of Real Time Systems |
180
click to vote
WORDS
2003
IEEE
15 years 11 months ago
2003
IEEE
We examine how computer system problems can be derived from real application problems, with a particular focus on the relevance of some assumptions, especially those related to co...
150
click to vote
KBSE
2007
IEEE
16 years 17 days ago
2007
IEEE
toolkit demonstrates that predicate abstraction enables automated verification of real world Windows device Our predicate abstraction-based tool DDVerify enables the automated ve...
179
click to vote
AIME
2007
Springer
16 years 15 days ago
2007
Springer
Medical critiquing systems criticise clinical actions performed by a physician. In order to provide useful feedback, an important task is to find differences between the actual a...
157
click to vote
FMICS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. The FlexRay standard, developed by a cooperation of leading companies in the automotive industry, is a robust communication protocol for distributed components in modern ...
176
click to vote
AAAI
1994
15 years 7 months ago
1994
The ability to answer prediction questions is crucial to reasoning about physical systems. A prediction question poses a hypothetical scenario and asks for the resulting behavior ...