Parameterized model checking of fine grained concurrency

Author

Divjyot Sethi, Muralidhar Talupur, Daniel Schwartz-Narbonne, Sharad Malik

Publication Year

2012

Type

Conference Paper

Conference Name

International SPIN Workshop on Model Checking of Software

Publisher

Springer Berlin Heidelberg