دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Integrated formal methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
دانلود کتاب روشهای رسمی یکپارچه: سیزدهمین کنفرانس بین المللی ، IFM 2017 ، تورین ، ایتالیا ، 20-22 سپتامبر 2017 ، مجموعه مقالات
مشخصات کتاب
Integrated formal methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
ویرایش: نویسندگان: Polikarpova. Nadia, Schneider. Steve A سری: Lecture notes in computer science 10510.; Lecture notes in computer science. Formal methods.; LNCS sublibrary. SL 2, Programming and software engineering ISBN (شابک) : 9783319668451, 9783319668444 ناشر: Springer سال نشر: 2017 تعداد صفحات: 447 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 16 مگابایت
قیمت کتاب (تومان) : 58,000
کلمات کلیدی مربوط به کتاب روشهای رسمی یکپارچه: سیزدهمین کنفرانس بین المللی ، IFM 2017 ، تورین ، ایتالیا ، 20-22 سپتامبر 2017 ، مجموعه مقالات: روش های رسمی (علوم کامپیوتر) -- کنگره ها، مهندسی نرم افزار -- کنگره ها، روش های رسمی (علوم کامپیوتر)، مهندسی نرم افزار
در صورت تبدیل فایل کتاب Integrated formal methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روشهای رسمی یکپارچه: سیزدهمین کنفرانس بین المللی ، IFM 2017 ، تورین ، ایتالیا ، 20-22 سپتامبر 2017 ، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب روشهای رسمی یکپارچه: سیزدهمین کنفرانس بین المللی ، IFM 2017 ، تورین ، ایتالیا ، 20-22 سپتامبر 2017 ، مجموعه مقالات
این کتاب مجموعه مقالات داوری سیزدهمین کنفرانس بین‌المللی
روشهای رسمی یکپارچه، IFM 2017 است که در تورین، ایتالیا، در
سپتامبر 2017 برگزار شد. 24 مقاله کامل و 4 مقاله کوتاه ارائه‌شده
با دقت بررسی و از بین 61 مورد ارسالی انتخاب شدند. آنها در
بخش‌های موضوعی در مورد سیستم‌های فیزیکی سایبری، ابزارهای تأیید
نرم‌افزار، سیستم‌های حیاتی ایمنی، همزمانی و توزیع سازمان‌دهی
شده‌اند سیستم‌ها،
تکنیک‌های تأیید برنامه، مدل‌سازی رسمی، و نرم افزار تایید
شده. ادامه
مطلب...
چکیده: این کتاب مجموعه مقالات داوری سیزدهم است. کنفرانس
بین‌المللی روشهای رسمی یکپارچه، IFM 2017، در تورین، ایتالیا،
در سپتامبر 2017 برگزار شد. 24 مقاله کامل و 4 مقاله کوتاه
ارائه‌شده با دقت بررسی و از بین 61 مورد ارسالی انتخاب شدند.
آنها در بخش‌های موضوعی در مورد سیستم‌های فیزیکی سایبری،
ابزارهای تأیید نرم‌افزار، سیستم‌های حیاتی ایمنی، سیستم‌های
همزمان و توزیع‌شده، تکنیک‌های تأیید برنامه، مدل‌سازی رسمی و
نرم‌افزار تأیید شده سازمان‌دهی شده‌اند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 13th
International Conference on Integrated Formal Methods, IFM
2017, held in Turin, Italy, in September 2017. The 24 full
papers and 4 short papers presented were carefully reviewed
and selected from 61 submissions. They are organized in
topical sections on cyber-physical systems, software
verification tools, safety-critical systems, concurrency and
distributed systems, program verification
techniques, formal modeling, and verified software.
Read
more...
Abstract: This book constitutes the refereed proceedings of the
13th International Conference on Integrated Formal
Methods, IFM 2017, held in Turin, Italy, in September 2017. The
24 full papers and 4 short papers presented were carefully
reviewed and selected from 61 submissions. They are
organized in topical sections on cyber-physical systems,
software verification tools, safety-critical systems,
concurrency and distributed systems, program verification
techniques, formal modeling, and verified software
فهرست مطالب
Front Matter ....Pages I-XXI
Front Matter ....Pages 1-1
An Active Learning Approach to the Falsification of Black Box Cyber-Physical Systems (Simone Silvetti, Alberto Policriti, Luca Bortolussi)....Pages 3-17
Modelling and Verification of Timed Robotic Controllers (Pedro Ribeiro, Alvaro Miyazawa, Wei Li, Ana Cavalcanti, Jon Timmis)....Pages 18-33
Spatial Reasoning About Motorway Traffic Safety with Isabelle/HOL (Sven Linker)....Pages 34-49
Formalising and Monitoring Traffic Rules for Autonomous Vehicles in Isabelle/HOL (Albert Rizaldi, Jonas Keinholz, Monika Huber, Jochen Feldle, Fabian Immler, Matthias Althoff et al.)....Pages 50-66
Front Matter ....Pages 67-67
Making Whiley Boogie! (Mark Utting, David J. Pearce, Lindsay Groves)....Pages 69-84
Complexity Analysis for Java with AProVE (Florian Frohn, Jürgen Giesl)....Pages 85-101
The VerCors Tool Set: Verification of Parallel and Concurrent Software (Stefan Blom, Saeed Darabi, Marieke Huisman, Wytse Oortwijn)....Pages 102-110
An Extension of the ABS Toolchain with a Mechanism for Type Checking SPLs (Ferruccio Damiani, Michael Lienhardt, Radu Muschevici, Ina Schaefer)....Pages 111-126
Front Matter ....Pages 127-127
Generalised Test Tables: A Practical Specification Language for Reactive Systems (Bernhard Beckert, Suhyun Cha, Mattias Ulbrich, Birgit Vogel-Heuser, Alexander Weigl)....Pages 129-144
Transient and Steady-State Statistical Analysis for Discrete Event Simulators (Stephen Gilmore, Daniël Reijsbergen, Andrea Vandin)....Pages 145-160
Algebraic Compilation of Safety-Critical Java Bytecode (James Baxter, Ana Cavalcanti)....Pages 161-176
Task-Node Mapping in an Arbitrary Computer Network Using SMT Solver (Andrii Kovalov, Elisabeth Lobe, Andreas Gerndt, Daniel Lüdtke)....Pages 177-191
Front Matter ....Pages 193-193
Analysis of Synchronisations in Stateful Active Objects (Ludovic Henrio, Cosimo Laneve, Vincenzo Mastandrea)....Pages 195-210
BTS: A Tool for Formal Component-Based Development (Dalay Israel de Almeida Pereira, Marcel Vinicius Medeiros Oliveira, Madiel S. Conserva Filho, Sarah Raquel Da Rocha Silva)....Pages 211-226
Testing and Verifying Chain Repair Methods for Corfu Using Stateless Model Checking (Stavros Aronis, Scott Lystig Fritchie, Konstantinos Sagonas)....Pages 227-242
Synthesizing Coalitions for Multi-agent Games (Wei Ji, Farn Wang, Peng Wu)....Pages 243-259
Front Matter ....Pages 261-261
Hoare-Style Reasoning from Multiple Contracts (Olaf Owe, Toktam Ramezanifarkhani, Elahe Fazeldehkordi)....Pages 263-278
A New Invariant Rule for the Analysis of Loops with Non-standard Control Flows (Dominic Steinhöfel, Nathan Wasser)....Pages 279-294
Triggerless Happy (YuTing Chen, Carlo A. Furia)....Pages 295-311
SemSlice: Exploiting Relational Verification for Automatic Program Slicing (Bernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch, Mattias Ulbrich)....Pages 312-319
Front Matter ....Pages 321-321
VBPMN: Automated Verification of BPMN Processes (Tool Paper) (Ajay Krishna, Pascal Poizat, Gwen Salaün)....Pages 323-331
How Well Can I Secure My System? (Barbara Kordy, Wojciech Wideł)....Pages 332-347
MaxUSE: A Tool for Finding Achievable Constraints and Conflicts for Inconsistent UML Class Diagrams (Hao Wu)....Pages 348-356
Formal Verification of CNL Health Recommendations (Fahrurrozi Rahman, Juliana Küster Filipe Bowles)....Pages 357-371
Front Matter ....Pages 373-373
Modular Verification of Order-Preserving Write-Back Caches (Jörg Pfähler, Gidon Ernst, Stefan Bodenmüller, Gerhard Schellhorn, Wolfgang Reif)....Pages 375-390
Formal Verification of ARP (Address Resolution Protocol) Through SMT-Based Model Checking - A Case Study - (Danilo Bruschi, Andrea Di Pasquale, Silvio Ghilardi, Andrea Lanzi, Elena Pagani)....Pages 391-406
Certified Password Quality (João F. Ferreira, Saul A. Johnson, Alexandra Mendes, Phillip J. Brooke)....Pages 407-421
Verification of STAR-Vote and Evaluation of FDR and ProVerif (Murat Moran, Dan S. Wallach)....Pages 422-436
Back Matter ....Pages 437-438
