383 search results - page 38 / 77 » Liveness Checking as Safety Checking |
113
Voted
NFM
2011
14 years 7 months ago
2011
Abstract. Tabular expressions have been successfully used in developing safety critical systems, however insuļ¬cient tool support has hampered their wider adoption. To address thi...
108
Voted
ISSS
2002
IEEE
15 years 5 months ago
2002
IEEE
This paper proposes a simulation-based methodology for validation of a system under design in an early phase of development. The key element of this approach is the visual speciļ¬...
115
Voted
RTAS
2009
IEEE
15 years 7 months ago
2009
IEEE
Embedded systems in safety-critical environments demand safety guarantees while providing many useful services that are too complex to formally verify or fully test. Existing appl...
ACSAC
2002
IEEE
15 years 5 months ago
2002
IEEE
The integration of mobile agents with SNMP creates signiļ¬cant advantages for the management of complex networks. Nevertheless, the security concerns of mobile agent technology l...
107
click to vote
ICSE
2004
IEEE-ACM
16 years 16 days ago
2004
IEEE-ACM
We describe an efficient decentralized monitoring algorithm that monitors a distributed program's execution to check for violations of safety properties. The monitoring is ba...