Сбор средств 15 Сентября 2024 – 1 Октября 2024 О сборе средств

Model Checking

Model Checking

Edmund M. Clark Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith

0 / 0

Насколько вам понравилась эта книга?

Какого качества скаченный файл?

Скачайте книгу, чтобы оценить ее качество

Какого качества скаченные файлы?

Категории:

Computers - Computer Science

Год:

2018

Издание:

2

Издательство:

MIT Press

Язык:

english

Страницы:

424

ISBN 10:

0262038838

ISBN 13:

9780262038836

Серия:

Cyber Physical Systems Series

Файл:

EPUB, 13.56 MB

IPFS:

,

english, 2018

Читать Онлайн

Выполняется конвертация в

Конвертация в не удалась

Вас может заинтересовать

Christel Baier, Joost-Pieter Katoen, Kim Guldstrand Larsen — Principles of Model Checking

Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled — Model checking

Edmund M. Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith — Model Checking (Cyber Physical Systems Series)

Rajeev Alur; T A Henzinger; Stanford University. Computer Science Department — A really temporal logic

Chao Wang, Gary D. Hachtel, Fabio Somenzi — Abstraction Refinement for Large Scale Model Checking

Peter Lee (auth.), Hubert Garavel, John Hatcliff (eds.) — Tools and Algorithms for the Construction and Analysis of Systems: 9th International Conference, TACAS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings

Shuvendu K. Lahiri, Randal E. Bryant, Amit Goel, Muralidhar Talupur (auth.), Kurt Jensen, Andreas Podelski (eds.) — Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Procee

Doron Peled (auth.), Rajeev Alur, Doron A. Peled (eds.) — Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings

Rajeev Alur (auth.), Farn Wang (eds.) — Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings

Radhia Cousot — Verification, Model Checking, and Abstract Interpretation: 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings (Lecture ... Computer Science and General Issues)

Manuvir Das (auth.), Thomas Ball, Robert B. Jones (eds.) — Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings

Simon N. Foley (auth.), Warren A. Hunt Jr., Fabio Somenzi (eds.) — Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003. Proceedings

Gérard Boudol, Valérie Roy, Robert de Simone (auth.), Joseph Sifakis (eds.) — Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France June 12–14, 1989 Proceedings

Edmund M. Clarke Jr. (auth.), Edmund M. Clarke, Robert P. Kurshan (eds.) — Computer-Aided Verification: 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18–21, 1990 Proceedings

Colin Sterling (auth.), Kim G. Larsen, Arne Skou (eds.) — Computer Aided Verification: 3rd International Workshop, CAV '91 Aalborg, Denmark, July 1–4, 1991 Proceedings

Leslie Lamport (auth.), Gregor von Bochmann, David Karl Probst (eds.) — Computer Aided Verification: Fourth International Workshop, CAV '92 Montreal, Canada, June 29 – July 1, 1992 Proceedings

Robert K. Brayton (auth.), Costas Courcoubetis (eds.) — Computer Aided Verification: 5th International Conference, CAV '93 Elounda, Greece, June 28–July 1, 1993 Proceedings

Rajeev Alur, Limor Fix, Thomas A. Henzinger (auth.), David L. Dill (eds.) — Computer Aided Verification: 6th International Conference, CAV '94 Stanford, California, USA, June 21–23, 1994 Proceedings

Randal E. Bryant (auth.), Pierre Wolper (eds.) — Computer Aided Verification: 7th International Conference, CAV '95 Liège, Belgium, July 3–5, 1995 Proceedings

Faron Moller, Graham Birtwistle (eds.) — Logics for Concurrency: Structure versus Automata

F. Erich Marschner (auth.), Orna Grumberg (eds.) — Computer Aided Verification: 9th International Conference, CAV'97 Haifa, Israel, June 22–25, 1997 Proceedings

Randal E. Bryant (auth.), Bernhard Steffen (eds.) — Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings

David L. Dill (auth.), Nicolas Halbwachs, Doron Peled (eds.) — Computer Aided Verification: 11th International Conference, CAV’99 Trento, Italy, July 6–10, 1999 Proceedings

Amir Pnueli (auth.), E. Allen Emerson, Aravinda Prasad Sistla (eds.) — Computer Aided Verification: 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000. Proceedings

Stefan Edelkamp, Alessio Lomuscio — Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers

Sriram K. Rajamani (auth.), Sungdeok (Steve) Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan (eds.) — Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings

Mark R. Greenstreet (auth.), Zhiming Liu, Anders P. Ravn (eds.) — Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings

Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare (auth.), Nir Piterman, Scott A. Smolka (eds.) — Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Ключевые слова