J. W. de Bakker, C. Huizing, W. P. de Roever, and G. Rozenberg, editors. Real-Time: Theory in Practice (REX Workshop), volume 600 of Lecture Notes in Computer Science. Springer-Verlag, 1991. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Automatic Synthesis Algorithms for Supervisory Controllers - Antoniotti, Mishra (1994) (Correct)
....formalisms 6 Which, in turn and unfortunately, is exponential in the size of the its components. 7 The details can also be found in [13] is Temporal Logic 8 . Temporal Logic (see for example [8] and [3] has been heavily used in the field of verification of concurrent and real time systems [5]. In one such formalisms, CTL, the rear to front condition can be expressed as AG: Theta (state 1 = drive state 2 = recover) EX: state 1 = unload state 2 = recover) The meaning of this formula is that whenever the rear leg (number 2) is recovering , the front leg (number 1) cannot ....
J. W. de Bakker, C. Huizing, W. P. de Roever, and G. Rozenberg, editors. Real-Time: Theory in Practice (REX Workshop), volume 600 of Lecture Notes in Computer Science. Springer-Verlag, 1991.
Lazy Compositional Verification - Shankar (1998) (9 citations) (Correct)
....yielded valuable insights and criticisms. Mart in Abadi and Leslie Lamport prompt and helpful in their responses to various technical queries and with feedback on earlier drafts. P z x y odd odd even Fig. 1. Even number generator process algebras [Hoa85,Mil80] and verification methods [Bar85,dBdRR90,dBdRR94, Sha93a] based on deduction [Eme90, Lam94,MP92,CM88] and model checking [CES86, Kur93, Hol91] While these techniques are effective on small examples mutual exclusion, basic cache consistency algorithms, and simple communication protocols the difficult problem of scaling these techniques up to large ....
J. W. de Bakker, W.-P. de Roever, and G. Rozenberg, editors. A Decade of Concurrency: Reflections and Perspectives, volume 803 of Lecture Notes in Computer Science, Noordewijkerhout, The Netherlands, 1994. Springer Verlag.
Formal Methods for Dependable Real-Time Systems - Rushby (1992) (2 citations) (Correct)
....and Sam Owre. An introduction to formal specification and verification using Ehdm. Technical Report SRI CSL 91 2, Computer Science Laboratory, SRI International, Menlo Park, CA, February 1991. 32] F. B. Schneider, B. Bloom, and K. Marzullo. Putting time into proof outlines. In de Bakker et al. [10], pages 618 639. 33] Fred B. Schneider. Understanding protocols for Byzantine clock synchronization. Technical Report 87 859, Department of Computer Science, Cornell University, Ithaca, NY, August 1987. 34] R. L. Schwartz, P. M. Melliar Smith, and F. Vogt. An interval logic for higher level ....
....Dale A. Mackall. Development and flight test experiences with a flight crucial digital control system. NASA Technical Paper 2857, NASA Ames Research Center, Dryden Flight Research Facility, Edwards, CA, 1988. 23] O. Maler, Z. Manna, and A. Pnueli. From timed to hybrid systems. In de Bakker et al. [10], pages 447 484. 24] P. M. Melliar Smith. Extending interval logic to real time systems. In B. Banieqbal, H. Barringer, and A. Pnueli, editors, Temporal Logic in Specification, pages 224 242, Altrincham, UK, April 1987. Volume 398 of Lecture Notes in Computer Science, Springer Verlag. 25] ....
J. W. de Bakker, C. Huizing, W.P. de Roever, and G. Rozenberg, editors. Real Time: Theory in Practice, volume 600 of Lecture Notes in Computer Science, REX Workshop, Mook, The Netherlands, June 1991. Springer Verlag.
Verification of Real-Time Systems Using PVS - Shankar (1993) (32 citations) Self-citation (Time) (Correct)
No context found.
J. W. de Bakker, C. Huizing, W.P. de Roever, and G. Rozenberg, editors. Real Time: Theory in Practice, volume 600 of Lecture Notes in Computer Science, REX Workshop, Mook, The Netherlands, June 1991. Springer Verlag.
Formal Methods for Broadband and Multimedia Systems - Fischer, Leue (1997) (2 citations) (Correct)
No context found.
J. W. de Bakker, C. Huizing, W. de Roever, and G.Rozenberg, editors. RealTime: Theory in Practice, volume 600 of Lecture Notes in Computer Science. Springer-Verlag, 1992.
Formal Methods for Broadband and Multimedia Systems - Fischer, Leue (1997) (2 citations) (Correct)
No context found.
J. W. de Bakker, C. Huizing, W. de Roever, and G.Rozenberg, editors. RealTime: Theory in Practice, volume 600 of Lecture Notes in Computer Science. Springer-Verlag, 1992.
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