37 search results - page 6 / 8 » spin 2009 |
VMCAI
2009
Springer
14 years 10 days ago
2009
Springer
This paper presents a case study in modelling and verifying the Linux Virtual File System (VFS). Our work is set in the context of Hoare’s verification grand challenge and, in p...
ICRA
2009
IEEE
13 years 3 months ago
2009
IEEE
A new robot hand dynamics model with rolling constraints and with a saddle joint at one finger is proposed, where two saddle-joint actuations are considered to be orderless. Spinni...
IGARSS
2009
13 years 3 months ago
2009
A new active fire event detection algorithm for data collected with the Spinning Enhanced Visible and Infrared Imager (SEVIRI) sensor, based on the extended Kalman filter, is intr...
SPIN
2009
Springer
14 years 2 days ago
2009
Springer
Abstract. Symbolic reachability analysis provides a basis for the verification of software systems by offering algorithmic support for the exploration of the program state space ...
SPIN
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. Context-Bounded Analysis has emerged as a practical automatic formal analysis technique for fine-grained, shared-memory concurrent software. Two recent papers (in CAV 20...