4460 search results - page 54 / 892 » Formal methods for interactive systems |
MPC
1998
Springer
13 years 12 months ago
1998
Springer
Timed-trace formalisms have emerged as a powerful method for specifying and reasoning about concurrent real-time systems. We present a simple variant which builds methodically on s...
ICEIS
2007
IEEE
14 years 2 months ago
2007
IEEE
EDOC
2005
IEEE
14 years 1 months ago
2005
IEEE
ARTS
1999
Springer
13 years 12 months ago
1999
Springer
This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...
DSN
2008
IEEE
13 years 9 months ago
2008
IEEE
Fault-tolerant, replicated file systems are a crucial component of today's data centers. Despite their huge complexity, these systems are typically specified only in brief pr...