Z. Manna, M. A. Colon, B. Finkbeiner, H. B. Sipma, and T. E. Uribe. Abstraction and modular verification of infinite-state reactive systems. In M. Broy, editor, Requirements Targeting Software and Systems Engineering (RTSE), LNCS. Springer-Verlag, 1998. To appear. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Automatic Abstraction in Model Checking - Lu (2000) (Correct)
....methodology for ACTL # properties. Abstraction techniques for various fragments of CTL # have been discussed in [36, 37] These abstraction techniques have been extended to the calculus [35, 74] Abstraction techniques for infinite state systems are crucial for successful verification [2, 7, 71, 77]. Graf and Sadi [54] have proposed predicate abstraction techniques to abstract an infinite state system into a finite state system. Later, a number of optimization techniques have been developed in [8, 38] Sadi and Shankar have integrated predicate abstraction into the PVS system which could ....
Z. Manna et al. Abstraction and modular verification of infinit-state reactive systems. In Requirements Targeting Software and Systems Engineering (RTSE), 1998.
Verifying Temporal Properties of Reactive Systems: A .. - Bjørner.. (2000) (4 citations) Self-citation (Manna Finkbeiner Sipma Uribe) (Correct)
....graduate level courses on formal methods and temporal verification of reactive systems. The STeP documentation includes exercises and tutorials based on the textbook [50] Properties of a parameterized fault tolerant leader election algorithm are verified in [9] while modularity is explored in [44]. The use of STeP in the modular verification of real time systems is described in [10] The verification of real time and hybrid systems using STeP is further discussed in [51, 60] Accessibility for the molecular version of bakery(N) is verified in [52] using induction on verification ....
Z. Manna, M. A. Colon, B. Finkbeiner, H. B. Sipma, and T. E. Uribe. Abstraction and modular verification of infinite-state reactive systems. In M. Broy, editor, Requirements Targeting Software and Systems Engineering (RTSE), LNCS. Springer-Verlag, 1998. To appear.
An Update on STeP: Deductive-Algorithmic.. - Manna, Bjørner.. (1998) (13 citations) Self-citation (Manna Sipma Uribe) (Correct)
No context found.
Z. Manna, M.A. Col'on, B. Finkbeiner, H.B. Sipma, and T.E. Uribe. Abstraction and modular verification of infinite-state reactive systems. In M. Broy, editor, Requirements Targeting Software and Systems Engineering (RTSE), LNCS. Springer-Verlag, 1998. To appear.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC