1109 search results - page 37 / 222 » Software verification for TinyOS |
120
click to vote
ICSE
2009
IEEE-ACM
14 years 11 months ago
2009
IEEE-ACM
This paper presents experiments realized by Airbus on model checking a safety critical system, lessons learnt and ways forward to extend the industrial use of formal verification ...
DAC
2002
ACM
16 years 2 months ago
2002
ACM
One of the main goals of coverage tools is to provide the user with informative presentation of coverage information. Specifically, information on large, cohesive sets of uncovere...
ICSE
1992
IEEE-ACM
15 years 5 months ago
1992
IEEE-ACM
This paper presents the tools Ald
95
Voted
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
Comprehending and analyzing agent behavior is an arduous task due to complexities in agent systems and sophistication of agent behaviors, in addition to the common difficulties wi...
AMAST
2006
Springer
15 years 5 months ago
2006
Springer
Interpretation of FIFO Queues Tristan Le Gall, Bertrand Jeannet, and Thierry J