Searching for "Reasoning About Digital Systems." – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Correctness of Vehicle Control Systems: A Case Study
- … has developed formal models and methods for reasoning about digital systems, while the control theory…
- Cited by 10 (7 self) – Add To MetaCart
-
Temporal Specification Verification via Causal Reasoning
- …. Introduction: The Verification Problem Attempts to reason about digital systems have been ongoing for many…
- Add To MetaCart
-
Temporal Analysis of Time Bounded Digital Systems
- … to reason about digital systems have been ongoing [1--3]. Various methods for modeling the systems with time…
- Add To MetaCart
-
A Transformational Approach to Formal Digital System Design
- … time window inference is used for reasoning about digital systems. 3 ffl We have demonstrated…
- Cited by 8 (0 self) – Add To MetaCart
-
Reasoning About Array Structures Using a Dependently Typed Logic
- … for reasoning about digital systems and, more generally, mathematics. Another dependently-typed logic which…
- Cited by 4 (0 self) – Add To MetaCart
-
A Theory of combinational programs
- … for specifying and reasoning about both digital devices and programs. Contemporary hardware description languages…
- Cited by 6 (0 self) – Add To MetaCart
Showing 1 through 6.
