357 search results - page 13 / 72 » Specifying and Verifying Fault-Tolerant Systems |
123
Voted
FM
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. We propose an approach to automatic verification of realtime systems against scenario-based requirements. A real-time system is modeled as a network of Timed Automata (TA...
114
click to vote
APSEC
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper presents a framework to specify and verify integrated services of a home network system (HNS). We first develop a modeling language to describe the HNS and the integra...
113
click to vote
HICSS
2003
IEEE
15 years 7 months ago
2003
IEEE
The paper reports on an analysis technology based on the tracing approach to test trustworthy requirements of a distributed system. The system under test is instrumented such that...
113
click to vote
CAV
2009
Springer
16 years 2 months ago
2009
Springer
ity Abstraction for Declarative Networking Applications Juan A. Navarro P?erez, Andrey Rybalchenko, and Atul Singh Max Planck Institute for Software Systems (MPI-SWS) Declarative N...
165
click to vote
HASE
2002
IEEE
15 years 6 months ago
2002
IEEE
Components (in-house or pre-fabricated) are increasingly being used to reduce the cost of software development. Given that these components may not have not been developed with de...