2514 search results - page 78 / 503 » The use of industrial-strength formal methods |
196
click to vote
FORMATS
2004
Springer
15 years 10 months ago
2004
Springer
We discuss the modeling and verification of real-time systems using the SAL model checker. A new modeling framework based on event calendars enables dense timed systems to be descr...
174
click to vote
FMCAD
2000
Springer
15 years 9 months ago
2000
Springer
We take a fresh look at the problem of how to check safety properties of finite state machines. We are particularly interested in checking safety properties with the help of a SAT-...
188
click to vote
AH
2008
Springer
16 years 16 days ago
2008
Springer
The focus of my thesis is on the development of a multi-method framework for the validation of formal models (domain model, user model, and teaching model) for adaptive work-integr...
153
click to vote
ARTMED
2006
15 years 6 months ago
2006
Objective: The objective of this paper is to demonstrate how a formal spatial theory can be used as an important tool for disambiguating the spatial information embodied in biomed...
164
click to vote
MICAI
2000
Springer
15 years 9 months ago
2000
Springer
Artificial Neural Networks (ANN) are an emerging technology, yet, in continuous dynamic behavior, much work has been done to attempt to generate a formal method to design a contro...