Searching for "Complete Trace Structures." – sorted by Relevance.
7 documents found, showing 1 through 7.
-
A Correctness Criterion for Asynchronous Circuit Validation and Optimization
- … structures to complete trace structures (which are capable of modeling in nite computations) mainly…
- Cited by 11 (6 self) – Add To MetaCart
-
Quiescence, Fairness, Testing, and the Notion of Implementation (Extended abstract)
- …-insensitive circuits, and the Complete Trace Structures of David Dill [6] which are used for the specification…
- Add To MetaCart
-
Liveness in Timed and Untimed Systems
- … feasibility as de ned in [LS89]. The failure free complete trace structures of [Dil88] are also properly…
- Cited by 82 (17 self) – Add To MetaCart
-
Using partial orders for trace theoretic verification of asynchronous circuits
- …. The definition of (rather general) liveness properties based on the complete trace structure is proposed in [11…
- Cited by 8 (6 self) – Add To MetaCart
-
Input/Output Compatibility of Reactive Systems
- … that the one presented by Dill for complete trace structures. However, the properties covered by the model…
- Cited by 6 (1 self) – Add To MetaCart
-
Trace Theoretic Verification of Timed Circuits: Correctness, Reduction, and Interpretation.
- … verication of safety properties. General liveness properties can be checked with complete trace structures…
- Add To MetaCart
-
The Semantics of Triveni: A Process-Algebraic API for Threads + Events
- …, Seg92]), Complete Trace Structures [Dil88], and Receptive Process Theory [Jos92]. These theories…
- Cited by 2 (1 self) – Add To MetaCart
Showing 1 through 7.
