


Остановите войну!
for scientists:
International Conference on Computer Aided Verification (CAV)
33rd CAV 2021: Los Angeles, CA, USA [virtual]
- Alexandra Silva, K. Rustan M. Leino:
Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I. Lecture Notes in Computer Science 12759, Springer 2021, ISBN 978-3-030-81684-1 [contents] - Alexandra Silva, K. Rustan M. Leino:
Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II. Lecture Notes in Computer Science 12760, Springer 2021, ISBN 978-3-030-81687-2 [contents] - Bruno Bernardo, Diego Marmsoler
:
3rd International Workshop on Formal Methods for Blockchains, FMBC@CAV 2021, July 18-19, 2021, Los Angeles, California, USA (Virtual Conference). OASIcs 95, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-209-9 [contents]
32nd CAV 2020: Los Angeles, CA, USA [virtual]
- Shuvendu K. Lahiri, Chao Wang:
Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I. Lecture Notes in Computer Science 12224, Springer 2020, ISBN 978-3-030-53287-1 [contents] - Shuvendu K. Lahiri, Chao Wang:
Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II. Lecture Notes in Computer Science 12225, Springer 2020, ISBN 978-3-030-53290-1 [contents] - Bruno Bernardo, Diego Marmsoler
:
2nd Workshop on Formal Methods for Blockchains, FMBC@CAV 2020, July 20-21, 2020, Los Angeles, California, USA (Virtual Conference). OASIcs 84, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-169-6 [contents]
31st CAV 2019: New York City, NY, USA
- Isil Dillig, Serdar Tasiran:
Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I. Lecture Notes in Computer Science 11561, Springer 2019, ISBN 978-3-030-25539-8 [contents] - Isil Dillig, Serdar Tasiran:
Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II. Lecture Notes in Computer Science 11562, Springer 2019, ISBN 978-3-030-25542-8 [contents] - Majid Zamani, Damien Zufferey:
Numerical Software Verification - 12th International Workshop, NSV@CAV 2019, New York City, NY, USA, July 13-14, 2019, Proceedings. Lecture Notes in Computer Science 11652, Springer 2019, ISBN 978-3-030-28422-0 [contents]
30th CAV 2018: Oxford, UK
- Hana Chockler, Georg Weissenbacher
:
Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I. Lecture Notes in Computer Science 10981, Springer 2018, ISBN 978-3-319-96144-6 [contents] - Hana Chockler, Georg Weissenbacher
:
Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II. Lecture Notes in Computer Science 10982, Springer 2018, ISBN 978-3-319-96141-5 [contents]
29th CAV 2017: Heidelberg, Germany
- Rupak Majumdar, Viktor Kuncak:
Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I. Lecture Notes in Computer Science 10426, Springer 2017, ISBN 978-3-319-63386-2 [contents] - Rupak Majumdar, Viktor Kuncak:
Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II. Lecture Notes in Computer Science 10427, Springer 2017, ISBN 978-3-319-63389-3 [contents] - Alessandro Abate, Sylvie Boldo:
Numerical Software Verification - 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings [collocated with CAV 2017]. Lecture Notes in Computer Science 10381, Springer 2017, ISBN 978-3-319-63500-2 [contents] - Dana Fisman, Swen Jacobs:
Proceedings Sixth Workshop on Synthesis, SYNT@CAV 2017, Heidelberg, Germany, 22nd July 2017. EPTCS 260, 2017 [contents]
28th CAV 2016: Toronto, ON, Canada
- Swarat Chaudhuri, Azadeh Farzan:
Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I. Lecture Notes in Computer Science 9779, Springer 2016, ISBN 978-3-319-41527-7 [contents] - Swarat Chaudhuri, Azadeh Farzan:
Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II. Lecture Notes in Computer Science 9780, Springer 2016, ISBN 978-3-319-41539-0 [contents] - Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar:
Numerical Software Verification - 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, [collocated with CAV 2016], Revised Selected Papers. Lecture Notes in Computer Science 10152, 2017, ISBN 978-3-319-54291-1 [contents] - Ruzica Piskac, Rayna Dimitrova:
Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016, Toronto, Canada, July 17-18, 2016. EPTCS 229, 2016 [contents]
27th CAV 2015: San Francisco, CA, USA
- Daniel Kroening
, Corina S. Pasareanu:
Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I. Lecture Notes in Computer Science 9206, Springer 2015, ISBN 978-3-319-21689-8 [contents] - Daniel Kroening
, Corina S. Pasareanu:
Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II. Lecture Notes in Computer Science 9207, Springer 2015, ISBN 978-3-319-21667-6 [contents] - Sergiy Bogomolov, Ashish Tiwari:
1st International Workshop on Symbolic and Numerical Methods for Reachability Analysis, SNR@CAV 2015, San Francisco, CA, USA, July 19, 2015. EPiC Series in Computing 37, EasyChair 2015 [contents] - Pavol Cerný, Viktor Kuncak, Parthasarathy Madhusudan:
Proceedings Fourth Workshop on Synthesis, SYNT 2015, San Francisco, CA, USA, 18th July 2015. EPTCS 202, 2016 [contents]
26th CAV 2014: Vienna, Austria
- Armin Biere, Roderick Bloem
:
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. Lecture Notes in Computer Science 8559, Springer 2014, ISBN 978-3-319-08866-2 [contents] - Alexei Lisitsa, Andrei P. Nemytykh:
VPT 2014. Second International Workshop on Verification and Program Transformation, July 17-18, 2014, Vienna, Austria, The workshop is an event of the Vienna Summer of Logic 2014 and it is co-located with the 26th International Conference on Computer Aided Verification CAV 2014. EPiC Series in Computing 28, EasyChair 2014 [contents] - Krishnendu Chatterjee, Rüdiger Ehlers, Susmit Jha:
Proceedings 3rd Workshop on Synthesis, SYNT 2014, Vienna, Austria, July 23-24, 2014. EPTCS 157, 2014 [contents]
25th CAV 2013: Saint Petersburg, Russia
- Natasha Sharygina, Helmut Veith:
Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings. Lecture Notes in Computer Science 8044, Springer 2013, ISBN 978-3-642-39798-1 [contents] - Alexei Lisitsa, Andrei P. Nemytykh:
First International Workshop on Verification and Program Transformation, VPT 2013, Saint Petersburg, Russia, July 12-13, 2013. EPiC Series in Computing 16, EasyChair 2013 [contents] - Bernd Finkbeiner, Armando Solar-Lezama
:
Proceedings Second Workshop on Synthesis, SYNT 2013, Saint Petersburg, Russia, July 13th and July 14th, 2013. EPTCS 142, 2014 [contents]
24th CAV 2012: Berkeley, CA, USA
- P. Madhusudan, Sanjit A. Seshia:
Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings. Lecture Notes in Computer Science 7358, Springer 2012, ISBN 978-3-642-31423-0 [contents] - Doron A. Peled, Sven Schewe
:
Proceedings First Workshop on Synthesis, SYNT 2012, Berkeley, California, USA, 7th and 8th July 2012. EPTCS 84, 2012 [contents]
23rd CAV 2011: Snowbird, UT, USA
- Ganesh Gopalakrishnan, Shaz Qadeer:
Computer Aided Verification - 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings. Lecture Notes in Computer Science 6806, Springer 2011, ISBN 978-3-642-22109-5 [contents]
22nd CAV 2010: Edinburgh, UK
- Tayssir Touili, Byron Cook, Paul B. Jackson:
Computer Aided Verification, 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings. Lecture Notes in Computer Science 6174, Springer 2010, ISBN 978-3-642-14294-9 [contents]
21st CAV 2009: Grenoble, France
- Ahmed Bouajjani, Oded Maler:
Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings. Lecture Notes in Computer Science 5643, Springer 2009, ISBN 978-3-642-02657-7 [contents]
20th CAV 2008: Princeton, NJ, USA
- Aarti Gupta, Sharad Malik:
Computer Aided Verification, 20th International Conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings. Lecture Notes in Computer Science 5123, Springer 2008, ISBN 978-3-540-70543-7 [contents]
19th CAV 2007: Berlin, Germany
- Werner Damm, Holger Hermanns:
Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings. Lecture Notes in Computer Science 4590, Springer 2007, ISBN 978-3-540-73367-6 [contents]
18th CAV 2006: Seattle, WA, USA
- Thomas Ball, Robert B. Jones:
Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings. Lecture Notes in Computer Science 4144, Springer 2006, ISBN 3-540-37406-X [contents] - Orna Grumberg, Helmut Veith:
25 Years of Model Checking - History, Achievements, Perspectives. Lecture Notes in Computer Science 5000, Springer 2008, ISBN 978-3-540-69849-4 [contents]
17th CAV 2005: Edinburgh, Scotland, UK
- Kousha Etessami, Sriram K. Rajamani:
Computer Aided Verification, 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings. Lecture Notes in Computer Science 3576, Springer 2005, ISBN 3-540-27231-3 [contents]
16th CAV 2004: Boston, MA, USA
- Rajeev Alur, Doron A. Peled:
Computer Aided Verification, 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings. Lecture Notes in Computer Science 3114, Springer 2004, ISBN 3-540-22342-8 [contents]
15th CAV 2003: Boulder, Colorado, USA
CAV 2003 Satellite Workshops: ENTCS 89
- Warren A. Hunt Jr., Fabio Somenzi:
Computer Aided Verification, 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings. Lecture Notes in Computer Science 2725, Springer 2003, ISBN 3-540-40524-0 [contents]
14th CAV 2002: Copenhagen, Denmark
- Ed Brinksma, Kim Guldstrand Larsen:
Computer Aided Verification, 14th International Conference, CAV 2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings. Lecture Notes in Computer Science 2404, Springer 2002, ISBN 3-540-43997-8 [contents]
13th CAV 2001: Paris, France
- Gérard Berry, Hubert Comon, Alain Finkel:
Computer Aided Verification, 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001, Proceedings. Lecture Notes in Computer Science 2102, Springer 2001, ISBN 3-540-42345-1 [contents]
12th CAV 2000: Chicago, IL, USA
- E. Allen Emerson, A. Prasad Sistla:
Computer Aided Verification, 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000, Proceedings. Lecture Notes in Computer Science 1855, Springer 2000, ISBN 3-540-67770-4 [contents]
11th CAV 1999: Trento, Italy
- Nicolas Halbwachs, Doron A. Peled:
Computer Aided Verification, 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999, Proceedings. Lecture Notes in Computer Science 1633, Springer 1999, ISBN 3-540-66202-2 [contents]
10th CAV 1998: Vancouver, BC, Canada
- Alan J. Hu, Moshe Y. Vardi:
Computer Aided Verification, 10th International Conference, CAV '98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings. Lecture Notes in Computer Science 1427, Springer 1998, ISBN 3-540-64608-6 [contents]
9th CAV 1997: Haifa, Israel
- Orna Grumberg:
Computer Aided Verification, 9th International Conference, CAV '97, Haifa, Israel, June 22-25, 1997, Proceedings. Lecture Notes in Computer Science 1254, Springer 1997, ISBN 3-540-63166-6 [contents]
8th CAV 1996: New Brunswick, NJ, USA
- Rajeev Alur, Thomas A. Henzinger:
Computer Aided Verification, 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings. Lecture Notes in Computer Science 1102, Springer 1996, ISBN 3-540-61474-5 [contents]
7th CAV 1995: Liège, Belgium
- Pierre Wolper
:
Computer Aided Verification, 7th International Conference, Liège, Belgium, July, 3-5, 1995, Proceedings. Lecture Notes in Computer Science 939, Springer 1995, ISBN 3-540-60045-0 [contents]
6th CAV 1994: Stanford, California, USA
- David L. Dill:
Computer Aided Verification, 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994, Proceedings. Lecture Notes in Computer Science 818, Springer 1994, ISBN 3-540-58179-0 [contents]
5th CAV 1993: Elounda, Greece
- Costas Courcoubetis:
Computer Aided Verification, 5th International Conference, CAV '93, Elounda, Greece, June 28 - July 1, 1993, Proceedings. Lecture Notes in Computer Science 697, Springer 1993, ISBN 3-540-56922-7 [contents]
4th CAV 1992: Montreal, Canada
- Gregor von Bochmann, David K. Probst:
Computer Aided Verification, Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992, Proceedings. Lecture Notes in Computer Science 663, Springer 1993, ISBN 3-540-56496-9 [contents]
3rd CAV 1991: Aalborg, Denmark
- Kim Guldstrand Larsen, Arne Skou:
Computer Aided Verification, 3rd International Workshop, CAV '91, Aalborg, Denmark, July, 1-4, 1991, Proceedings. Lecture Notes in Computer Science 575, Springer 1992, ISBN 3-540-55179-4 [contents]
2nd CAV 1990: New Brunswick, NJ, USA
- Edmund M. Clarke, Robert P. Kurshan:
Computer Aided Verification, 2nd International Workshop, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990, Proceedings. Lecture Notes in Computer Science 531, Springer 1991, ISBN 3-540-54477-1 [contents] - Edmund M. Clarke, Robert P. Kurshan:
Computer-Aided Verification, Proceedings of a DIMACS Workshop 1990, New Brunswick, New Jersey, USA, June 18-21, 1990. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 3, DIMACS/AMS 1991, ISBN 978-0-8218-6594-1 [contents]

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.