1077 search results - page 45 / 216 » Formal Checking of Properties in Complex Systems Using Abstr... |
DATE
2009
IEEE
14 years 3 months ago
2009
IEEE
The ability of logic transformations to enhance safety property checking has been well-established, and many industrial-strength verification solutions accordingly rely ariety of...
FM
2003
Springer
14 years 2 months ago
2003
Springer
We present a semantics for fault tree analysis, a technique used for the analysis of safety critical systems, in the real-time interval logic Duration Calculus with Liveness and sh...
INFOCOM
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract—Complex networks, modeled as large graphs, received much attention during these last years. However, data on such networks is only available through intricate measuremen...
ACTA
2007
13 years 9 months ago
2007
Abstract. In order to design and analyse complex systems, modelers need formal models with two contradictory requirements: a high expressivity and the decidability of behavioural p...
ISSTA
1998
ACM
14 years 11 days ago
1998
ACM
We present various techniques for improving the time and space efficiency of symbolic model checking for system requirements specified as synchronous finite state machines. We use...