Model Checking Software

افزودن به بوکمارک اشتراک گذاری 0 دیدگاه کاربران 5 (0)

15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings

مشارکت: عنوان و توضیح کوتاه هر کتاب را ترجمه کنید این ترجمه بعد از تایید با نام شما در سایت نمایش داده خواهد شد.

ترجمه این کتاب مشاهده همه کتاب های ترجمه نشده

15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings

This volume contains the proceedings of the 15th International SPIN Workshop on Model Checking of Software (SPIN 2008), which took place at the University of California, Los Angeles, August 10-12, 2008. The SPIN workshops form a forum for researchers and practitioners interested in model checking techniques for the veri?cation and validation of software systems. Model checking is the process of checking whether a given structure is a model of a given logical f- mula.The structure normallyrepresents a setof tasks executing in parallelin an interleaved fashion, resulting in a non-deterministic set of executions. The main focusoftheworkshopseriesissoftwaresystems, including models andprograms. Subjects of interest include theoretical and algorithmic foundations as well as toolsfor softwaremodel checking.The workshopin additionaimsto foster int- actions and exchanges of ideas with related areas in software engineering, such as static analysis, dynamic analysis, and testing. There were 41 submissions, including 38 full papers and 3 tool papers. Each submissionwasreviewedbyatleastthreeProgrammeCommitteemembers.The committee decided to accept 18 papers, including 17 regular papers and 1 tool paper. The programme also included ?ve invited talks (in alphabetical order): Matthew Dwyer (University of Nebraska) "Residual Checking of Safety Pr- erties," Daniel Jackson (MIT) "Patterns of Software Modelling: From Classic To Funky," Shaz Qadeer (Microsoft Research) "The Case for Context-Bounded Veri?cation of Concurrent Programs," Wolfram Schulte (Microsoft Research) "Using Dynamic Symbolic Execution to Improve Deductive Veri?cation," and Yannis Smaragdakis (University of Oregon) "Combining Static and Dynamic Reasoning for the Discovery of Program Properties."

لغو

گزارش تخلف

مغایرت عنوان کتاب با توضیحات و تصویر جلد
عدم رعایت حقوق نشر طبق قوانین جمهوری اسلامی ایران
محتوای مستهجن
توهین به قومیتها و محتوای نژادپرستی
توهین به اقیلیتهای مذهبی
اهانت به مقامات سیاسی و مذهبی
اشاعه ی کودک آزاری
سایر موارد

بستن

فرمت کتاب

ebook

زبان

english

تاریخ انتشار

2008

نویسنده

Jens Palsberg

ناشر

Springer

شابک

9783540851134

20,000 تومان

خرید کتاب مطالعه نمونه درخواست ترجمه کتاب

خرید کتاب Model Checking Software

Model Checking Software

گزارش تخلف

فرمت کتاب

ebook

زبان

english

تاریخ انتشار

2008

نویسنده

ناشر

شابک

کتاب های مرتبط

Verification and Validation of Rule-Based Expert Systems

Trustworthy global computing : 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013 : revised selected papers

Co-verification of hardware and software for ARM SoC design

Specification and Verification of Multi-Agent Systems

Leveraging applications of formal methods, verification and validation : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014 : proceedings

Leveraging applications of formal methods, verification and validation : specialized techniques and applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings. Part I

Tools and algorithms for the construction and analysis of systems : 21st International Conference, TACAS 2015, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Tools and algorithms for the construction and analysis of systems : 23rd International Conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, proceedings

Tools and algorithms for the construction and analysis of systems : 23rd International Conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, proceedings

Leveraging applications of formal methods, verification and validation : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, proceedings

Leveraging applications of formal methods, verification and validation : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, proceedings

Leveraging applications of formal methods, verification and validation : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, proceedings

Runtime verification : 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, proceedings

Formal System Verification

Trustworthy Global Computing

Theory and Applications of Satisfiability Testing - SAT 2014

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

Verification, Model Checking, and Abstract Interpretation

Verification of Object-Oriented Software. The KeY Approach : Foreword by K. Rustan M. Leino

Trust and trustworthy computing : third international conference on trust and trustworthy computing, TRUST 2010, Berlin, Germany, June 21-23, 2010 : proceedings

دیدگاه کاربران