×

Simple network protocol simulation within Maude. (English) Zbl 0966.68514

Futatsugi, Kokichi, The 3rd international workshop on rewriting logic and its applications, RWLW. Kanazawa City Cultural Hall, Kanzawa, Japan, September 18-20, 2000. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 36, 18 p., electronic only (2000).
For the entire collection see [Zbl 0957.00046].

MSC:

68Q60 Specification and verification (program logics, model checking, etc.)

Software:

SPIN; Maude; PVS
PDFBibTeX XMLCite