Suchergebnisse - "Computer programs -- Verification"

Verification of Sequential and Concurrent Programs

Apt, Krzysztof R (Verfasser)

3rd ed. 2009

London : Springer London, 2009

E-Book

Symbolische Auswertung und Heuristiken zur Verifikation funktionaler Programme

Schweitzer, Dirk Stephan (Verfasser)

2007

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 : 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 : 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

Development of automatic program verification for continuous function chart based on model checking

Wardana, Awang Noor Indra (Verfasser)

Kassel : Kassel University Press, 2009

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 : 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, 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

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

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

Logic-Based Program Synthesis and Transformation : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers

Albert, Elvira (Herausgeber)

1st ed. 2013

Berlin, Heidelberg : Springer Berlin Heidelberg, 2013

E-Book

Hardware and Software: Verification and Testing : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

Biere, Armin (Herausgeber)

1st ed. 2013

Berlin, Heidelberg : Springer Berlin Heidelberg, 2013

E-Book

Verified Software: Theorie, Tools, Experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers

Cohen, Ernie (Herausgeber)

1st ed. 2014

Berlin, Heidelberg : Springer Berlin Heidelberg, 2014

E-Book

Hardware and Software: Verification and Testing : 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers

Eder, Kerstin (Herausgeber)

1st ed. 2012

Berlin, Heidelberg : Springer Berlin Heidelberg, 2012

E-Book

Logic-Based Program Synthesis and Transformation : 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers

Vidal, Germán (Herausgeber)

1st ed. 2012

Berlin, Heidelberg : Springer Berlin Heidelberg, 2012

E-Book

An introduction to practical formal methods using temporal logic

Fisher, Michael (Verfasser)

Chichester, West Sussex, U.K. : J. Wiley & Sons, c2011

E-Book

Treffer 1 - 20 von 99

Seite in der Trefferliste auswählen

Seite in der Trefferliste auswählen

Suche einschränken