190 search results - page 23 / 38 » Towards model checking interpreted systems |
ICRA
2008
IEEE
14 years 1 months ago
2008
IEEE
— Localization and context interpretation are two key competences for mobile robot systems. Visual place recognition, as opposed to purely geometrical models, holds promise of hi...
CLIMA
2004
13 years 8 months ago
2004
Abstract. We provide a formal characterization of a notion of contextual taxonomy, that is to say, a taxonomy holding only with respect to a specific context. To this aim, a new pr...
HYBRID
2010
Springer
14 years 2 months ago
2010
Springer
The complexity of physical and engineering systems, both in terms of the governing physical phenomena and the number of subprocesses involved, is mirrored in ever more complex mat...
ICSE
2001
IEEE-ACM
13 years 12 months ago
2001
IEEE-ACM
It has long been accepted that requirements analysis should precede architectural design and implementation, but in software evolution and reverse engineering this concern with bl...
SPIN
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. We report on the use of model checking techniques for both the verification of a process control program and the derivation of optimal control schedules. Most of this wor...