Is lazy abstraction a decision procedure for broadcast protocols?

Dimitrova, R. and Podelski, A. (2008) Is lazy abstraction a decision procedure for broadcast protocols? In: Logozzo, F., Peled, D.A. and Zuck, L.D., (eds.) Verification, Model Checking, and Abstract Interpretation - VMCAI 2008. Verification, Model Checking, and Abstract Interpretation - VMCAI 2008, 07-09 Jan 2008, San Francisco, USA. Lecture Notes in Computer Science (4905). Springer , pp. 98-111. ISBN 9783540781622

Abstract

Metadata

Authors/Creators:
  • Dimitrova, R.
  • Podelski, A.
Copyright, Publisher and Additional Information: © 2008 Springer-Verlag. This is an author-produced version of a paper subsequently published in VMCAI 2008 Proceedings. Uploaded in accordance with the publisher's self-archiving policy.
Keywords: Decision Procedure; Coverability Problem; Label Transition System; Reachable Region; Broadcast Protocol
Dates:
  • Published: 7 January 2008
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Depositing User: Symplectic Sheffield
Date Deposited: 07 Feb 2020 14:36
Last Modified: 08 Feb 2020 18:48
Status: Published
Publisher: Springer
Series Name: Lecture Notes in Computer Science
Refereed: Yes
Identification Number: https://doi.org/10.1007/978-3-540-78163-9_12

Share / Export

Statistics