Searching for "Reasoning about Rings." – sorted by Relevance.
8 documents found, showing 1 through 8.
-
Reasoning about Rings
- …Reasoning about Rings E. Allen Emerson Kedar S. Namjoshi Department of Computer Sciences…
- Cited by 58 (6 self) – Add To MetaCart
-
Parameterized Model Checking of Ring-based Message Passing Systems
- … the stuttering-insensitive linear time LTL£ logic X. For bidirectional rings we show how to reduce reasoning…
- Cited by 2 (0 self) – Add To MetaCart
-
Cv
- …/August 1996. ffl "Reasoning about Rings", with E. Allen Emerson, Proceedings of the 22nd ACM Symposium…
- Add To MetaCart
-
Towards a Formalization of the X86 Instruction Set Architecture
- … to reason about the ring architecture in ACL2 with reasonable automation. In addition, practical limitations…
- Add To MetaCart
-
Using Model Checking for System Verification
- … about rings. In: Proc. 22th ACM Conf. on Principles of Programming Languages. 1995. 195 196…
- Cited by 2 (1 self) – Add To MetaCart
-
Complex and Hyper-Complex Numbers: A Case Study for the Combination of Algebraic Computation and Deduction
- … The constants SemR and LpR are the two methods for reasoning about ring elements, SemF and LpF reason over…
- Cited by 1 (1 self) – Add To MetaCart
-
Complex and Hyper-Complex Numbers: A Case Study for the Combination of Algebraic Computation andDeduction
- …By) -> provedBy (* ... *) The constants SemR and LpR are the two methods for reasoning about ring elements, Sem…
- Add To MetaCart
-
Ameliorating the State Space Explosion Problem
- … Reasoning about Rings 22 3.1 Introduction…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 8.
