دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II
دانلود کتاب استفاده از روش‌های رسمی، تأیید و اعتبارسنجی. تأیید: هشتمین سمپوزیوم بین المللی، ISoLA 2018، لیماسول، قبرس، 5-9 نوامبر 2018، مجموعه مقالات، قسمت دوم
مشخصات کتاب
Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II
ویرایش: 1st ed.
نویسندگان: Tiziana Margaria. Bernhard Steffen
سری: Lecture Notes in Computer Science 11245
ISBN (شابک) : 9783030034207, 9783030034214
ناشر: Springer International Publishing
سال نشر: 2018
تعداد صفحات: 500
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 28 مگابایت
قیمت کتاب (تومان) : 30,000
کلمات کلیدی مربوط به کتاب استفاده از روش‌های رسمی، تأیید و اعتبارسنجی. تأیید: هشتمین سمپوزیوم بین المللی، ISoLA 2018، لیماسول، قبرس، 5-9 نوامبر 2018، مجموعه مقالات، قسمت دوم: علوم کامپیوتر، مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان، تئوری محاسبات، سازمان سیستم های کامپیوتری و شبکه های ارتباطی، حرفه محاسبات
در صورت تبدیل فایل کتاب Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب استفاده از روش‌های رسمی، تأیید و اعتبارسنجی. تأیید: هشتمین سمپوزیوم بین المللی، ISoLA 2018، لیماسول، قبرس، 5-9 نوامبر 2018، مجموعه مقالات، قسمت دوم نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب استفاده از روش‌های رسمی، تأیید و اعتبارسنجی. تأیید: هشتمین سمپوزیوم بین المللی، ISoLA 2018، لیماسول، قبرس، 5-9 نوامبر 2018، مجموعه مقالات، قسمت دوم
مجموعه چهار جلدی LNCS 11244، 11245، 11246، و 11247، مجموعه مقالات داوری هشتمین سمپوزیوم بین المللی در استفاده از کاربردهای روش های رسمی، تأیید و اعتبارسنجی، ISoLA 2018، قبرس در لیماسول، قبرس برگزار می شود. اکتبر/نوامبر 2018.
مقالات ارائه شده به دقت بررسی و برای گنجاندن در روند رسیدگی
انتخاب شدند. هر جلد بر یک موضوع جداگانه با عناوین بخش موضوعی
در جلد تمرکز دارد:
بخش اول، مدل‌سازی: به سوی یک دیدگاه واحد از مدل‌سازی و
برنامه‌نویسی. X-by-construction، STRESS 2018.
بخش دوم، تأیید: نمای گسترده‌تر در تأیید: از استاتیک تا زمان
اجرا و برگشت. ابزارهای ارزیابی برای تأیید نرم افزار؛ بررسی
مدل آماری؛ RERS 2018; سمپوزیوم دکتری.
بخش سوم، سیستم های توزیع شده: مهندسی دقیق سیستم های تطبیقی
جمعی. تایید و اعتبار سنجی سیستم های توزیع شده؛ و مهندسی
سیستم های فیزیکی-سایبری.
بخش چهارم، تمرین صنعتی: تأیید زمان اجرا از تئوری تا عمل
صنعتی. روش های رسمی در عمل صنعتی - پر کردن شکاف. قراردادهای
هوشمند قابل اعتماد: پیشرفته ترین، برنامه های کاربردی، چالش ها
و مسیرهای آینده. و روز صنعتی
توضیحاتی درمورد کتاب به خارجی
The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018.
The papers presented were carefully reviewed and selected for
inclusion in the proceedings. Each volume focusses on an
individual topic with topical section headings within the
volume:
Part I, Modeling: Towards a unified view of modeling and
programming; X-by-construction, STRESS 2018.
Part II, Verification: A broader view on verification: from
static to runtime and back; evaluating tools for software
verification; statistical model checking; RERS 2018; doctoral
symposium.
Part III, Distributed Systems: rigorous engineering of
collective adaptive systems; verification and validation of
distributed systems; and cyber-physical systems
engineering.
Part IV, Industrial Practice: runtime verification from the
theory to the industry practice; formal methods in industrial
practice - bridging the gap; reliable smart contracts:
state-of-the-art, applications, challenges and future
directions; and industrial day.
فهرست مطالب
Front Matter ....Pages I-XIII
Front Matter ....Pages 1-1
A Broader View on Verification: From Static to Runtime and Back (Track Summary) (Wolfgang Ahrendt, Marieke Huisman, Giles Reger, Kristin Yvonne Rozier)....Pages 3-7
Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification (Borzoo Bonakdarpour, Cesar Sanchez, Gerardo Schneider)....Pages 8-27
Temporal Reasoning on Incomplete Paths (Dana Fisman, Hillel Kugler)....Pages 28-52
Towards a Notion of Coverage for Incomplete Program-Correctness Proofs (Bernhard Beckert, Mihai Herda, Stefan Kobischke, Mattias Ulbrich)....Pages 53-63
Generating Inductive Shape Predicates for Runtime Checking and Formal Verification (Jan H. Boockmann, Gerald Lüttgen, Jan Tobias Mühlberg)....Pages 64-74
Runtime Assertion Checking and Static Verification: Collaborative Partners (Fonenantsoa Maurica, David R. Cok, Julien Signoles)....Pages 75-91
A Language-Independent Program Verification Framework (Xiaohong Chen, Grigore Roşu)....Pages 92-102
Programming Safe Robotics Systems: Challenges and Advances (Ankush Desai, Shaz Qadeer, Sanjit A. Seshia)....Pages 103-119
Generating Component Interfaces by Integrating Static and Symbolic Analysis, Learning, and Runtime Monitoring (Falk Howar, Dimitra Giannakopoulou, Malte Mues, Jorge A. Navas)....Pages 120-136
Front Matter ....Pages 137-137
Evaluating Tools for Software Verification (Track Introduction) (Markus Schordan, Dirk Beyer, Stephen F. Siegel)....Pages 139-143
Strategy Selection for Software Verification Based on Boolean Features (Dirk Beyer, Matthias Dangl)....Pages 144-159
Symbolic Execution and Deductive Verification Approaches to VerifyThis 2017 Challenges (Ziqing Luo, Stephen F. Siegel)....Pages 160-178
Runtime and Memory Evaluation of Data Race Detection Tools (Pei-Hung Lin, Chunhua Liao, Markus Schordan, Ian Karlin)....Pages 179-196
In-Place vs. Copy-on-Write CEGAR Refinement for Block Summarization with Caching (Dirk Beyer, Karlheinz Friedberger)....Pages 197-215
Deductive Verification of Unmodified Linux Kernel Library Functions (Denis Efremov, Mikhail Mandrykin, Alexey Khoroshilov)....Pages 216-234
Synthesizing Subtle Bugs with Known Witnesses (Marc Jasper, Bernhard Steffen)....Pages 235-257
Front Matter ....Pages 259-259
Statistical Model Checking the 2018 Edition! (Kim Guldstrand Larsen, Axel Legay)....Pages 261-270
Chasing Errors Using Biasing Automata (Lei Bu, Doron Peled, Dashuan Shen, Yael Tzirulnikov)....Pages 271-286
On the Sequential Massart Algorithm for Statistical Model Checking (Cyrille Jegourel, Jun Sun, Jin Song Dong)....Pages 287-304
Quantitative Risk Assessment of Safety-Critical Systems via Guided Simulation for Rare Events (Stefan Puch, Martin Fränzle, Sebastian Gerwinn)....Pages 305-321
Monte Carlo Tree Search for Verifying Reachability in Markov Decision Processes (Pranav Ashok, Tomáš Brázdil, Jan Křetínský, Ondřej Slámečka)....Pages 322-335
Lightweight Statistical Model Checking in Nondeterministic Continuous Time (Pedro R. D’Argenio, Arnd Hartmanns, Sean Sedwards)....Pages 336-353
Statistical Model Checking of Incomplete Stochastic Systems (Shiraj Arora, Axel Legay, Tania Richmond, Louis-Marie Traonouez)....Pages 354-371
Statistical Model Checking of a Moving Block Railway Signalling Scenario with Uppaal SMC (Davide Basile, Maurice H. ter Beek, Vincenzo Ciancia)....Pages 372-391
Mitigating Security Risks Through Attack Strategies Exploration (Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Axel Legay, Saddek Bensalem)....Pages 392-413
Statistical Model Checking of Processor Systems in Various Interrupt Scenarios (Josef Strnadel)....Pages 414-429
Front Matter ....Pages 431-431
RERS 2018: CTL, LTL, and Reachability (Marc Jasper, Malte Mues, Maximilian Schlüter, Bernhard Steffen, Falk Howar)....Pages 433-447
Front Matter ....Pages 449-449
Track Introduction – Doctoral Symposium 2018 (Anna-Lena Lamprecht)....Pages 451-456
Assuring Intelligent Ambient Assisted Living Solutions by Statistical Model Checking (Ashalatha Kunnappilly, Raluca Marinescu, Cristina Seceleanu)....Pages 457-476
Implementation of Privacy Calculus and Its Type Checking in Maude (Georgios V. Pitsiladis, Petros Stefaneas)....Pages 477-493
Back Matter ....Pages 495-496
نظرات کاربران
کتاب های تصادفی
