Formal Verification of Object-Oriented Software:...

Main
Computers - Programming
Formal Verification of Object-Oriented...

Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers

June Andronick (auth.), Bernhard Beckert, Claude Marché (eds.)

0 / 0

Bạn thích cuốn sách này tới mức nào?

Chất lượng của file scan thế nào?

Xin download sách để đánh giá chất lượng sách

Chất lượng của file tải xuống thế nào?

Thể loại:

Computers - Programming

Năm:

2011

In lần thứ:

1

Nhà xuát bản:

Springer-Verlag Berlin Heidelberg

Ngôn ngữ:

english

Trang:

199

ISBN 10:

3642180701

ISBN 13:

9783642180705

Loạt:

Lecture Notes in Computer Science 6528 : Programming and Software Engineering

File:

PDF, 3.24 MB

IPFS:

,

english, 2011

Đọc online

Hoàn thành chuyển đổi thành trong

Chuyển đổi thành không thành công

Có thể bạn quan tâm

Hana Chockler & Georg Weissenbacher — Computer Aided Verification

Shusaku Iida, José Meseguer, Kazuhiro Ogata (eds.) — Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi

Maurice H. ter Beek, Annabelle McIver, José N. Oliveira — Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

Wolfgang Ahrendt • Bernhard Beckert • Richard Bubel • Einar Broch Johnsen (Eds.) — The Logic of Software. A Tasting Menu of Formal Methods

Filippo Bonchi, Georgiana Caltais, Damien Pous (auth.), Chung-chieh Shan (eds.) — Programming Languages and Systems: 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings

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

Shmuel Katz (auth.), Jorge Cuellar, Tom Maibaum, Kaisa Sere (eds.) — FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings

Cindy Eisner (auth.), Oleg Sokolsky, Serdar Taşıran (eds.) — Runtime Verification: 7th International Workshop, RV 2007, Vancover [Vancouver], Canada, March 13, 2007, Revised Selected Papers

Michael Hennell (auth.), Bernhard Beckert, Reiner Hähnle (eds.) — Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings

Frank S. de Boer, Marcello M. Bonsangue, Eric Madelaine — Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey ... Programming and Software Engineering)

Howard Barringer, Klaus Havelund, David Rydeheard, Alex Groce (auth.), Saddek Bensalem, Doron A. Peled (eds.) — Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers

Samson Abramsky (auth.), Amir Pnueli, Irina Virbitskaite, Andrei Voronkov (eds.) — Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers

Kokichi Futatsugi (auth.), Jin Song Dong, Huibiao Zhu (eds.) — Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings

June Andronick (auth.), Bernhard Beckert, Claude Marché (eds.) — Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers

K. Rustan M. Leino (auth.), Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi (eds.) — NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings

Janos Sztipanovits (auth.), Michael Butler, Wolfram Schulte (eds.) — FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings

Yongxin Zhao, He Jifeng (auth.), Shengchao Qin, Zongyan Qiu (eds.) — Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings

Wolfgang Paul (auth.), Rajeev Joshi, Peter Müller, Andreas Podelski (eds.) — Verified Software: Theories, Tools, Experiments: 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings

Wolfgang Paul (auth.), Rajeev Joshi, Peter Müller, Andreas Podelski (eds.) — Verified Software: Theories, Tools, Experiments: 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings

Ahmed Bouajjani, Cezara Drăgoi (auth.), Viktor Kuncak, Andrey Rybalchenko (eds.) — Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings

Anindya Banerjee (auth.), Bernhard Beckert, Ferruccio Damiani, Dilian Gurov (eds.) — Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers

Dave Clarke, James Noble, Tobias Wrigstad (auth.), Dave Clarke, James Noble, Tobias Wrigstad (eds.) — Aliasing in Object-Oriented Programming. Types, Analysis and Verification

Dave Clarke, James Noble & Tobias Wrigstad (eds.) — LNCS 7850 - Aliasing in Object-Oriented Programming

Zhiming Liu, Jim Woodcock & Huibiao Zhu (eds.) — LNCS 8051 - Theories of Programming and Formal Methods

Stefania Gnesi, Arend Rensink (eds.) — Fundamental Approaches to Software Engineering: 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Barbara Jobstmann, K. Rustan M. Leino (eds.) — Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

Marsha Chechik, Jean-François Raskin (eds.) — Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proce

Từ khóa thường sử dụng nhất