A Methodology for Formal Verification of Real-Time Systems

F. Balarin, Robert K. Brayton, S-T. Cheng, D.A. Kirkpatrick, Alberto L. Sangiovanni-Vincentelli and E.C. Wu

EECS Department
University of California, Berkeley
Technical Report No. UCB/ERL M95/11
February 1995

http://www2.eecs.berkeley.edu/Pubs/TechRpts/1995/ERL-95-11.pdf

BibTeX citation:

@techreport{Balarin:M95/11,
    Author = {Balarin, F. and Brayton, Robert K. and Cheng, S-T. and Kirkpatrick, D.A. and Sangiovanni-Vincentelli, Alberto L. and Wu, E.C.},
    Title = {A Methodology for Formal Verification of Real-Time Systems},
    Institution = {EECS Department, University of California, Berkeley},
    Year = {1995},
    Month = {Feb},
    URL = {http://www2.eecs.berkeley.edu/Pubs/TechRpts/1995/2717.html},
    Number = {UCB/ERL M95/11}
}

EndNote citation:

%0 Report
%A Balarin, F.
%A Brayton, Robert K.
%A Cheng, S-T.
%A Kirkpatrick, D.A.
%A Sangiovanni-Vincentelli, Alberto L.
%A Wu, E.C.
%T A Methodology for Formal Verification of Real-Time Systems
%I EECS Department, University of California, Berkeley
%D 1995
%@ UCB/ERL M95/11
%U http://www2.eecs.berkeley.edu/Pubs/TechRpts/1995/2717.html
%F Balarin:M95/11