690 search results - page 57 / 138 » Testing Temporal Logic Properties in Distributed Systems |
122
click to vote
TAICPART
2010
IEEE
14 years 11 months ago
2010
IEEE
We report on how the Wrangler refactoring tool has been used to improve and transform test code for Erlang systems. This has been achieved through the removal of code clones, the i...
118
Voted
DFT
2003
IEEE
15 years 5 months ago
2003
IEEE
Safety-critical embedded systems often operate in harsh environmental conditions that necessitate fault-tolerant computing techniques. Many safety-critical systems also execute re...
193
click to vote
NFM
2011
14 years 7 months ago
2011
Synthesis of finite-state machines from linear-time temporal logic (LTL) formulas is an important formal specification debugging technique for reactive systems and can quickly ge...
101
click to vote
CIE
2008
Springer
15 years 2 months ago
2008
Springer
There are many ways to define complexity in logic. In finite model theory, it is the complexity of describing properties, whereas in proof complexity it is the complexity of provin...
115
Voted
WISES
2003
15 years 1 months ago
2003
— With the increasing number of embedded computer systems being used in safety critical applications the testing and assessment of a system’s fault tolerance properties become ...