Author:
Antoine Christian,Goff Bernard,Pin Jean-Eric
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. C. Antoine, B. Le Goff, Timing diagrams for writing and checking logical and behavioral properties of integrated systems, P. Prineto and P. Camurati ed., CHARME 91, Correct Hardware Design Methodologies, Elsevier, Turin, Italy, 441–453, 1991.
2. E. A. Ashcroft and W. W. Wadge, Lucid — a formal system for writing and proving programs, SIAM J. Comp. 5, 336–354, 1976.
3. P. Caspi and N. Halbwachs, A functional model for describing and reasoning about time behaviour of computing systems. Acta Informatica 22, 595–627, 1986.
4. L. J. M. Claesen, editor, Formal VLSI Correctness Verification, IFIP, North-Holland, Amsterdam, November 1990.
5. E. M. Clarke and I. A. Draghicescu, Expressibility results for linear-time and branching-time logics, In J. W. de Bakker, W. de Roever, and G. Rozenberg, editors, Linear Time, Branching Time and Partial Order in logics and Models for Concurrency, 428–437, Springer-Verlag, June 1988.