Incremental Protocol Verfication Using Deductive Database Systems.

@inproceedings{DBLP:conf/icde/LiaoL89,
  author    = {I-En Liao and
               Ming T. Liu},
  title     = {Incremental Protocol Verfication Using Deductive Database Systems},
  booktitle = {Proceedings of the Fifth International Conference on Data Engineering,
               February 6-10, 1989, Los Angeles, California, USA},
  publisher = {IEEE Computer Society},
  year      = {1989},
  isbn      = {0-8186-1915-5},
  pages     = {216-223},
  ee        = {db/conf/icde/LiaoL89.html},
  crossref  = {DBLP:conf/icde/89},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1989 by The Institute of Electrical and Electronic Engineers, Inc. (IEEE). Abstract used with permission.

ACM SIGMOD Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An2-6 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD1 or /dvd

Printed Edition

References

[1]

Daniel Brand, Pitro Zafiropulo: On Communicating Finite-State Machines. J. ACM 30(2): 323-342(1983) BibTeX

[2]

...

[3]

...

[4]

Hervé Gallaire, Jack Minker, Jean-Marie Nicolas: Logic and Databases: A Deductive Approach. ACM Comput. Surv. 16(2): 153-185(1984) BibTeX

[5]

...

[6]

Ming-Yee Lai, Tony T. Lee: Protocol Verification Using Relational Database Systems. ICDE 1987: 347-354 BibTeX

[7]

Tony T. Lee, Ming-Yee Lai: A Relational Algebraic Approach to Protocol Verification. IEEE Trans. Software Eng. 14(2): 184-193(1988) BibTeX

[8]

...

[9]

...

[10]

...

[11]

John Alan Robinson: A Machine-Oriented Logic Based on the Resolution Principle. J. ACM 12(1): 23-41(1965) BibTeX

[12]

...

[13]

...

[14]

...

[15]

...

[16]

Deepinder P. Sidhu, Carole S. Crall: Executable Logic Specifications for Protocol Service Interfaces. IEEE Trans. Software Eng. 14(1): 98-121(1988) BibTeX