1860 search results - page 355 / 372 » A Temporal Logic of Robustness |
FTRTFT
1998
Springer
14 years 25 days ago
1998
Springer
We present a compositional semantics of synchronous systems that captures both safety and progress properties of such systems. The fair synchronous transitions systems (fsts) mode...
ICALP
1998
Springer
14 years 25 days ago
1998
Springer
We show that characteristic formulae for nite-state systems up to bisimulationlike equivalences (e.g., strong and weak bisimilarity) can be given in the simple branching-time temp...
HASE
1997
IEEE
14 years 25 days ago
1997
IEEE
: The most important aspect of concurrent and distributed computation is the interaction between system components. Integration of components into a system requires some synchroniz...
AMOST
2007
ACM
14 years 19 days ago
2007
ACM
Model-checkers have recently been suggested for automated software test-case generation. Several works have presented methods that create efficient test-suites using model-checker...
AOSD
2007
ACM
14 years 19 days ago
2007
ACM
We define and study bisimulation for proving contextual equivalence in an aspect extension of the untyped lambda-calculus. To our knowledge, this is the first study of coinductive...