383 search results - page 38 / 77 » Liveness Checking as Safety Checking |
NFM
2011
13 years 5 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...
ISSS
2002
IEEE
14 years 3 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ļ¬...
RTAS
2009
IEEE
14 years 5 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
14 years 3 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...
ICSE
2004
IEEE-ACM
14 years 11 months 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...