1108 search results - page 146 / 222 » Model Checking of Safety Properties |
SOFSEM
2007
Springer
14 years 4 months ago
2007
Springer
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...
CAISE
2001
Springer
14 years 2 months ago
2001
Springer
Reactive systems are systems whose purpose is to maintain a certain desirable state of affairs in their environment, and include information systems, groupware, workflow systems,...
FTDCS
1997
IEEE
14 years 2 months ago
1997
IEEE
A Software Architecture is the overall structure of a system in terms of its constituent components and their interconnections. In this paper, we describe work to associate behavi...
TACAS
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. The methods of Invisible Invariants and Invisible Ranking were developed originally in order to verify temporal properties of parameterized systems in a fully automatic m...
UML
2005
Springer
14 years 3 months ago
2005
Springer
Autonomic computer systems aim to reduce the configuration, operational, and maintenance costs of distributed applications by enabling them to self-manage, self-heal, self-optimiz...