%0 Conference Paper %1 734120 %A Arons, Tamarah %A Pnueli, Amir %A Ruah, Sitvanit %A Xu, Jiazhao %A Zuck, Lenore D. %B CAV '01: Proceedings of the 13th International Conference on Computer Aided Verification %C London, UK %D 2001 %I Springer-Verlag %K automated bakery cutoff deductive finite_state invariant_discovery modelchecking parameterized peterson szymanski verification %P 221--234 %T Parameterized Verification with Automatically Computed Inductive Assertions %U http://portal.acm.org/citation.cfm?id=734120 %@ 3-540-42345-1

@inproceedings{734120, added-at = {2010-01-27T15:26:32.000+0100}, address = {London, UK}, author = {Arons, Tamarah and Pnueli, Amir and Ruah, Sitvanit and Xu, Jiazhao and Zuck, Lenore D.}, biburl = {https://www.bibsonomy.org/bibtex/2efe1c46a7329d3a0216028fdc95a3e74/giuliano.losa}, booktitle = {CAV '01: Proceedings of the 13th International Conference on Computer Aided Verification}, description = {Parameterized Verification with Automatically Computed Inductive Assertions}, interhash = {591a8c1d6d602ab66bade3589141269f}, intrahash = {efe1c46a7329d3a0216028fdc95a3e74}, isbn = {3-540-42345-1}, keywords = {automated bakery cutoff deductive finite_state invariant_discovery modelchecking parameterized peterson szymanski verification}, pages = {221--234}, publisher = {Springer-Verlag}, timestamp = {2010-01-27T15:26:32.000+0100}, title = {Parameterized Verification with Automatically Computed Inductive Assertions}, url = {http://portal.acm.org/citation.cfm?id=734120}, year = 2001 }