Suchergebnisse - "Computer software Verification"

Lange, Martin (Verfasser)

Information and Computation. - 2024. - 10.1016/j.ic.2024.105168. - ISSN 1090-2651. - Volume 298, Issue June, Article 105168

E-Book

Model Checking Software : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings

Bartocci, Ezio (Herausgeber)

1st ed. 2013

Berlin, Heidelberg : Springer Berlin Heidelberg, 2013

E-Book

Verification, Model Checking, and Abstract Interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

Jobstmann, Barbara (Herausgeber)

1st ed. 2016

Berlin, Heidelberg : Springer Berlin Heidelberg, 2016

E-Book

Model Checking Software : 19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings

Donaldson, Alastair (Herausgeber)

1st ed. 2012

Berlin, Heidelberg : Springer Berlin Heidelberg, 2012

E-Book

Verification, Model Checking, and Abstract Interpretation : 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings

D'Souza, Deepak (Herausgeber)

1st ed. 2015

Berlin, Heidelberg : Springer Berlin Heidelberg, 2015

E-Book

Model Checking Software : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011, Proceedings

Groce, Alex (Herausgeber)

1st ed. 2011

Berlin, Heidelberg : Springer Berlin Heidelberg, 2011

E-Book

Verification, Model Checking, and Abstract Interpretation : 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings

McMillan, Kenneth (Herausgeber)

1st ed. 2014

Berlin, Heidelberg : Springer Berlin Heidelberg, 2014

E-Book

Verification, Model Checking, and Abstract Interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings

Giacobazzi, Roberto (Herausgeber)

1st ed. 2013

Berlin, Heidelberg : Springer Berlin Heidelberg, 2013

E-Book

Verification of Sequential and Concurrent Programs

Apt, Krzysztof R (Verfasser)

3rd ed. 2009

London : Springer London, 2009

E-Book

Verification, Model Checking, and Abstract Interpretation : 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings

Kuncak, Viktor (Herausgeber)

1st ed. 2012

Berlin, Heidelberg : Springer Berlin Heidelberg, 2012

E-Book

Proceedings of the 12th international conference on Verification, model checking, and abstract interpretation

Jhala, Ranjit (Verfasser)

Berlin, Heidelberg : Springer-Verlag, 2011

E-Book

Verification, Model Checking, and Abstract Interpretation : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings

Jhala, Ranjit (Herausgeber)

1st ed. 2011

Berlin, Heidelberg : Springer Berlin Heidelberg, 2011

E-Book

Model Checking Software : 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings

van der Pol, Jaco (Herausgeber)

1st ed. 2010

Berlin, Heidelberg : Springer Berlin Heidelberg, 2010

E-Book

Verification, Model Checking, and Abstract Interpretation : 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings

Barthe, Gilles (Herausgeber)

1st ed. 2010

Berlin, Heidelberg : Springer Berlin Heidelberg, 2010

E-Book

Halbordnungs- und Reduktionstechniken für die automatische Verifikation von verteilten Systemen

Schröter, Claus (Verfasser)

[2007]

E-Book

Model Checking Software : 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings

Pasareanu, Corina S (Herausgeber)

1st ed. 2009

Berlin, Heidelberg : Springer Berlin Heidelberg, 2009

E-Book

Verification, Model Checking, and Abstract Interpretation : 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings

Jones, Neil (Herausgeber)

1st ed. 2009

Berlin, Heidelberg : Springer Berlin Heidelberg, 2009

E-Book

Proceedings of the 8th international SPIN workshop on Model checking of software

Dwyer, Matthew (Verfasser)

New York, NY : Springer-Verlag New York, Inc., 2001

E-Book

Symbolische Auswertung und Heuristiken zur Verifikation funktionaler Programme

Schweitzer, Dirk Stephan (Verfasser)

2007

E-Book

Handbook of Model Checking

Clarke, Edmund M (Herausgeber)

1st ed. 2018

Cham : Springer International Publishing, 2018

E-Book

Treffer 1 - 20 von 157

Seite in der Trefferliste auswählen

Seite in der Trefferliste auswählen

Suche einschränken