4460 search results - page 384 / 892 » Formal methods for interactive systems |
167
Voted
ISOLA
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Lurette is an automated testing tool dedicated to reactive programs. The test process is automated at two levels: given a formal description of the System Under Test (SUT...
203
click to vote
FM
2003
Springer
16 years 3 hour ago
2003
Springer
Safety is increasingly important for software based, critical systems. Fault tree analysis (FTA) is a safety technique from engineering, developed for analyzing and assessing syste...
172
click to vote
SIGSOFT
1998
ACM
15 years 11 months ago
1998
ACM
Implicit invocation SN92, GN91] has become an important architectural style for large-scale system design and evolution. This paper addresses the lack of speci cation and veri cat...
178
click to vote
TSMC
2010
15 years 1 months ago
2010
Computer system reliability is conventionally modeled and analyzed using techniques such as fault tree analysis (FTA) and reliability block diagrams (RBD), which provide static rep...
196
click to vote
FM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...