2013

Assurances for self-adaptive systems : principles, models, and techniques

 

2018

Automated validation & verification of UML/OCL models using satisfiability solvers

Przigoda, Nils, author

Cham : Springer, [2018]

 

2014

Case studies in software verification & validation

Acharya, Sushil, author

[Place of publication not identified] : privately published, 2014

 

2012

Certified programs and proofs : second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, proceedings

CPP 2012 (2012 : Kyoto, Japan)



 

2013

Certified programs and proofs : third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings

CPP (Conference) (3rd : 2013 : Melbourne, Vic.)

Cham : Springer, 2013

 

2023

Challenges of software verification

Singapore : Springer, [2023]

 

2005

Co-verification of hardware and software for ARM SoC design

Andrews, Jason R



 

1981

Compiler specification and verification

Polak, Wolfgang, 1950-

Berlin ; New York : Springer-Verlag, 1981

 

2016

Complete symbolic simulation of SystemC models : efficient formal verification of finite non-terminating programs

Herdt, Vladimir, author

Wiesbaden : Springer Vieweg, 2016

 

2017

Computer aided cerification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings.

CAV (Conference) (29th : 2017 : Heidelberg, Germany)

Cham, Switzerland : Springer, 2017

 

2017

Computer aided cerification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings.

CAV (Conference) (29th : 2017 : Heidelberg, Germany)

Cham : Springer, 2017

 

2023

Computer aided cerification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings.

CAV (Conference) (35th : 2023 : Paris, France)

Cham, Switzerland : Springer, 2023

 

1992

Computer aided verification : 3rd international workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991 : proceedings

CAV (Conference) (3rd : 1991 : Ålborg, Denmark)



 

1993

Computer aided verification : 5th international conference, CAV'93, Elounda, Greece, June 28-July 1, 1993 : proceedings

CAV (Conference) (5th : 1993 : Eloúnda, Greece)

Berlin ; New York : Springer-Verlag, ©1993

 

1994

Computer aided verification : 6th international conference, CAV '94, Stanford, California, USA, June 21-23, 1994 : proceedings

CAV (Conference) (6th : 1994 : Stanford, Calif.)



 

2005

Computer aided verification : 17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings

CAV (Conference) (17th : 2005 : Edinburgh, Scotland)



 

2006

Computer aided verification : 18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings

CAV (Conference) (18th : 2006 : Seattle, Wash.)



 

2007

Computer aided verification : 19th international conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : proceedings

CAV (Conference) (19th : 2007 : Berlin, Germany)



 

2008

Computer aided verification : 20th international conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008 : proceedings

CAV (Conference) (20th : 2008 : Princeton, N.J.)



 

2009

Computer aided verification : 21st international conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009 ; proceedings

CAV (Conference) (21st : 2009 : Grenoble, France)



 

2010

Computer aided verification : 22nd international conference, CAV 2010, Edinburgh, UK, July 15-19, 2010 : proceedings

CAV (Conference) (22nd : 2010 : Edinburgh, Scotland)



 

2011

Computer aided verification : 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011 : proceedings

CAV (Conference) (23rd : 2011 : Snowbird, Utah)



 

2012

Computer Aided Verification : 24th International conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 : proceedings

CAV (Conference) (24th : 2012 : Berkeley, Calif.)



 

2013

Computer aided verification : 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings

CAV (Conference) (25th : 2013 : Saint Petersburg, Russia)



 

2014

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

CAV (Conference) (26th : 2014 : Vienna, Austria)

Cham : Springer, [2014]

 

2015

Computer aided verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings.

CAV (Conference) (27th : 2015 : San Francisco, Calif.)

Cham : Springer, 2015

 

2015

Computer aided verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings.

CAV (Conference) (27th : 2015 : San Francisco, Calif.)

Cham : Springer, 2015

 

2016

Computer aided verification : 28th International conference, CAV 2016, Toronto, ON, USA, July 17-23, 2016 : proceedings.

CAV (Conference) (28th : 2016 : Toronto, Ont.)

Switzerland : Springer, 2016

 

2016

Computer aided verification : 28th International conference, CAV 2016, Toronto, ON, USA, July 17-23, 2016 : proceedings.

CAV (Conference) (28th : 2016 : Toronto, Ont.)

Switzerland : Springer, 2016

 

2018

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.

CAV (Conference) (30th : 2018 : Oxford, England)

Cham, Switzerland : Springer Open, 2018

 

2018

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.

CAV (Conference) (30th : 2018 : Oxford, England)

Cham, Switzerland : Springer, 2018

 

2020

Computer aided verification : 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings.

CAV (Conference) (32nd : 2020 : Los Angeles, Calif.)

Cham, Switzerland : Springer, [2020]

 

2020

Computer aided verification : 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings.

CAV (Conference) (32nd : 2020 : Los Angeles, Calif.)

Cham, Switzerland : Springer, [2020]

 

2021

Computer aided verification : 33rd international conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings.

CAV (Conference) (33rd : 2021 : Online)

Cham : Springer, [2021]

 

2021

Computer aided verification : 33rd international conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings.

CAV (Conference) (33rd : 2021 : Online)

Cham : Springer, [2021]

 

2022

Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings.

CAV (Conference) (34th : 2022 : Haifa, Israel)

Cham : Springer, 2022

 

2022

Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings.

CAV (Conference) (34th : 2022 : Haifa, Israel)

Cham : Springer, 2022

 

2023

Computer aided verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings.

CAV (Conference) (35th : 2023 : Paris, France)

Cham, Switzerland : Springer, 2023

 

2023

Computer aided verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, proceedings.

CAV (Conference) (35th : 2023 : Paris, France)

Cham : Springer, [2023]

 

1993

Computer aided verification : fourth international workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 : proceedings

CAV (Conference) (4th : 1992 : Montréal, Québec)

Berlin ; New York : Springer-Verlag, ©1993

 

2023

Concise guide to software verification : from model checking to annotation checking

Huisman, Marieke, author.

Cham, Switzerland : Springer, [2023]

 

2008

Concurrency, graphs and models : essays dedicated to Ugo Montanari on the occasion of his 65th birthday

 

2015

Correct software in web applications and web services

Cham : Springer, 2015

 

2016

Critical systems : formal methods and automated verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verifica

International Workshop on Formal Methods for Industrial Critical Systems (21st : 2016 : Pisa, Italy)

Cham : Springer, 2016

 

2017

Critical systems : formal methods and automated verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verifica

International Workshop on Formal Methods for Industrial Critical Systems (22nd : 2017 : Turin, Italy), jointly held conference.

Cham, Switzerland : Springer, 2017

 

2009

Data flow analysis : theory and practice

Khedker, Uday.

Boca Raton, FL : CRC Press/Taylor & Francis, [2009]

Request It 

2009

Data flow analysis : theory and practice

Khedker, Uday.



 

2010

Debugging at the electronic system level

Rogin, Frank



 

2020

Deductive software verification: future perspectives : reflections on the occasion of 20 years of KeY

Cham : Springer, [2020]

 

2016

Deductive Software Verification -- The KeY Book : From Theory to Practice

Cham : Springer, 2016