3256 search results - page 2 / 652 » Applications of Formal Methods to System Design and Verifica... |
FMICS
2007
Springer
14 years 5 days ago
2007
Springer
DAC
1996
ACM
13 years 10 months ago
1996
ACM
We present a formal verification methodology that we have used on a computer system design project. The methodology integrates a temporal logic model checker with a conventional pr...
FORTE
1994
13 years 7 months ago
1994
The record of successful applications of formal verification techniques is slowly growing. Our ultimate aim, however, is not to perform small pilot projects that show that verific...
BIRTHDAY
2007
Springer
13 years 10 months ago
2007
Springer
We present a verification methodology for cooperating traffic agents covering analysis of cooperation strategies, realization of strategies through control, and implementation of c...
IJCAI
2003
13 years 7 months ago
2003
This paper addresses the formal verification of diagnosis systems. We tackle the problem of diagnosability: given a partially observable dynamic system, and a diagnosis system obs...