1980 search results - page 108 / 396 » Compositional Model Checking of Real Time Systems |
113
click to vote
WORDS
2003
IEEE
15 years 7 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...
KBSE
2007
IEEE
15 years 8 months 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...
111
click to vote
AIME
2007
Springer
15 years 7 months 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...
108
click to vote
FMICS
2010
Springer
15 years 2 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 ...
132
click to vote
AAAI
1994
15 years 3 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 ...