Automated Inductive Verification of Parameterized Protocols (2001)
Cached
Download Links
- [www.comp.nus.edu.sg]
- [www.comp.nus.edu.sg]
- DBLP
Other Repositories/Bibliography
by
Abhik Roychoudhury
,
I.V. Ramakrishnan
| Venue: | In CAV 2001 |
| Citations: | 9 - 1 self |
BibTeX
@INPROCEEDINGS{Roychoudhury01automatedinductive,
author = {Abhik Roychoudhury and I.V. Ramakrishnan},
title = {Automated Inductive Verification of Parameterized Protocols},
booktitle = {In CAV 2001},
year = {2001},
pages = {25--37}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
A parameterized concurrent system represents an infinite family (of finite state systems) parameterized by a recursively...
