Computer Aided Verification

Computer Aided Verification

26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings

by Roderick Bloem, Armin Biere

877 pages· 2014· ISBN 9783319088679
Join Readfeed freeFind clubs reading this bookBrowse readable books
About
This book constitutes the proceedings of the 26th International Conference on Computer Aided Verification, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 46 regular papers and 11 short papers presented in this volume were carefully reviewed and selected from a total of 175 regular and 54 short paper submissions. The contributions are organized in topical sections named: software verification; automata; model checking and testing; biology and hybrid systems; games and synthesis; concurrency; SMT and theorem proving; bounds and termination; and abstraction.

Discuss Computer Aided Verification with other readers

Join or start a book club for Computer Aided Verification on Readfeed. Live chat, shared reading progress, and AI discussion questions — free to get started.

Sign up freeBrowse book clubs

Frequently asked questions

How do I join a book club for Computer Aided Verification?

Sign up free on Readfeed, then browse public clubs or start your own club with Computer Aided Verification as the current read. Invite friends with a share link and discuss together with live chat and AI discussion questions.

Can I discuss Computer Aided Verification with other readers online?

Yes. Readfeed book clubs let you chat live, share progress, and join discussions about Computer Aided Verification with readers worldwide — whether your club is virtual, in-person, or hybrid.

Is Readfeed free?

Yes. Creating an account and joining book clubs is free. Sign up to find readers who love the same books and start discussing today.