دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings
دانلود کتاب روش‌های رسمی: مبانی و برنامه‌های کاربردی: بیستمین سمپوزیوم برزیل، SBMF 2017، رسیف، برزیل، 29 نوامبر - 1 دسامبر 2017، مجموعه مقالات
مشخصات کتاب
Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings
ویرایش: 1
نویسندگان: Simone Cavalheiro. José Fiadeiro (eds.)
سری: Programming and Software Engineering 10623
ISBN (شابک) : 9783319708478, 9783319708485
ناشر: Springer International Publishing
سال نشر: 2017
تعداد صفحات: 308
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 13 مگابایت
قیمت کتاب (تومان) : 37,000
کلمات کلیدی مربوط به کتاب روش‌های رسمی: مبانی و برنامه‌های کاربردی: بیستمین سمپوزیوم برزیل، SBMF 2017، رسیف، برزیل، 29 نوامبر - 1 دسامبر 2017، مجموعه مقالات: مهندسی نرم افزار
در صورت تبدیل فایل کتاب Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روش‌های رسمی: مبانی و برنامه‌های کاربردی: بیستمین سمپوزیوم برزیل، SBMF 2017، رسیف، برزیل، 29 نوامبر - 1 دسامبر 2017، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب روش‌های رسمی: مبانی و برنامه‌های کاربردی: بیستمین سمپوزیوم برزیل، SBMF 2017، رسیف، برزیل، 29 نوامبر - 1 دسامبر 2017، مجموعه مقالات
این کتاب مجموعه مقالات داوری بیستمین سمپوزیوم برزیلی روش‌های
رسمی، SBMF 2017 است که در رسیفل، برزیل، در نوامبر/دسامبر 2017
برگزار شد. 37 ارسالی. آنها در بخش های موضوعی زیر سازماندهی
شده اند: یکپارچه سازی روش های رسمی و گزارش های تجربی. بررسی
مدل؛ پالایش و تأیید؛ و معناشناسی و زبان‌ها.
فصل "پایش آنلاین غیر نفوذی با قابلیت تنظیم سریع برای
سیستم‌های چند هسته‌ای" تحت مجوز CC BY 4.0 با دسترسی آزاد
منتشر شده است.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 20th
Brazilian Symposium on Formal Methods, SBMF 2017, which took
place in Recifel, Brazil, in November/December 2017.The 16
papers presented together with three invited talks were
carefully reviewed and selected from 37 submissions. They are
organized in the following topical sections: formal methods
integration and experience reports; model checking;
refinement and verification; and semantics and
languages.
The chapter 'Rapidly Adjustable Non-Intrusive Online
Monitoring for Multi-core Systems' is published open access
under a CC BY 4.0 license.
فهرست مطالب
Front Matter ....Pages I-X
Front Matter ....Pages 1-1
Formal Methods for Robotics: RoboChart, RoboSim, and More (Ana Cavalcanti)....Pages 3-6
Recent Successes with a Meta-Logical Approach to Universal Logical Reasoning (Extended Abstract) (Christoph Benzmüller)....Pages 7-11
Front Matter ....Pages 13-13
Abstract State Machines and System Theoretic Process Analysis for Safety-Critical Systems (Farah Al-Shareefi, Alexei Lisitsa, Clare Dixon)....Pages 15-32
From Scenarios to Timed Automata (Neda Saeedloei, Feliks Kluźniak)....Pages 33-51
Graph Grammar Extraction from Source Code (Lucio Mauro Duarte, Leila Ribeiro)....Pages 52-69
Applying a Formal Method in Industry: A 25-Year Trajectory (Thierry Lecomte, David Deharbe, Etienne Prun, Erwan Mottin)....Pages 70-87
Front Matter ....Pages 89-89
Encoding Floating-Point Numbers Using the SMT Theory in ESBMC: An Empirical Evaluation over the SV-COMP Benchmarks (Mikhail Y. R. Gadelha, Lucas C. Cordeiro, Denis A. Nicole)....Pages 91-106
Local Analysis of Determinism for CSP (Rodrigo Otoni, Ana Cavalcanti, Augusto Sampaio)....Pages 107-124
OptCE: A Counterexample-Guided Inductive Optimization Solver (Higo F. Albuquerque, Rodrigo F. Araújo, Iury V. Bessa, Lucas C. Cordeiro, Eddie B. de Lima Filho)....Pages 125-141
Formal Analysis of the Information Leakage of the DC-Nets and Crowds Anonymity Protocols (Arthur Américo, Artur Vaz, Mário S. Alvim, Sérgio V. A. Campos, Annabelle McIver)....Pages 142-158
Front Matter ....Pages 159-159
A Refinement Relation for Families of Timed Automata (Guillermina Cledou, José Proença, Luís S. Barbosa)....Pages 161-178
Rapidly Adjustable Non-intrusive Online Monitoring for Multi-core Systems (Normann Decker, Philip Gottschling, Christian Hochberger, Martin Leucker, Torben Scheffel, Malte Schmitz et al.)....Pages 179-196
Sound Transpilation from Binary to Machine-Independent Code (Roberto Metere, Andreas Lindner, Roberto Guanciale)....Pages 197-214
Using Linear Logic to Verify Requirement Scenarios in Composite Web Service (Kênia Santos de Oliveira, Stéphane Julia)....Pages 215-232
Checking Static Properties Using Conservative SAT Approximations for Reachability (Pedro Antonino, Thomas Gibson-Robinson, A. W. Roscoe)....Pages 233-250
Front Matter ....Pages 251-251
UTCP: Compositional Semantics for Shared-Variable Concurrency (Andrew Butterfield)....Pages 253-270
On Kleene Algebras for Weighted Computation (Leandro Gomes, Alexandre Madeira, Luís S. Barbosa)....Pages 271-286
Capturing Stochastic and Real-Time Behavior in Reo Connectors (Yi Li, Xiyue Zhang, Yuanyi Ji, Meng Sun)....Pages 287-304
Back Matter ....Pages 305-305
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Halogen Bonding: Fundamentals and Applications
دانلود کتاب Everyday Chi Kung with Master Lam: 15-Minute Routines to Build Energy, Boost Immunity and Banish Stress
