Formal verification of activity-based specification of protocols

DOI10.1006/JPDC.2000.1622zbMath0969.68647OpenAlexW2065906299MaRDI QIDQ5938660

K. C. Anand, Rudrapatna K. Shyamasundar

Publication date: 1 October 2001

Published in: Journal of Parallel and Distributed Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/jpdc.2000.1622

zbMATH Keywords

activity-based specification of protocols

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Formal verification of activity-based specification of protocols