دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Julia M. Badger, Kristin Yvonne Rozier (eds.) سری: Lecture Notes in Computer Science 8430 : Programming and Software Engineering ISBN (شابک) : 3319061992, 9783319061993 ناشر: Springer International Publishing سال نشر: 2014 تعداد صفحات: 381 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 مگابایت
کلمات کلیدی مربوط به کتاب روشهای رسمی ناسا: ششمین سمپوزیوم بینالمللی، NFM 2014، هیوستون، TX، ایالات متحده، 29 آوریل - 1 می 2014. مجموعه مقالات: مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان، سیستم های عامل، منطق و معانی برنامه ها، مهندسی نرم افزار/برنامه نویسی و سیستم های عامل، تکنیک های برنامه نویسی
در صورت تبدیل فایل کتاب NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روشهای رسمی ناسا: ششمین سمپوزیوم بینالمللی، NFM 2014، هیوستون، TX، ایالات متحده، 29 آوریل - 1 می 2014. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات داوری ششمین سمپوزیوم بینالمللی روشهای رسمی ناسا، NFM 2014، برگزار شده در هیوستون، TX، ایالات متحده، از 29 آوریل تا 1 مه 2014 است. 20 مقاله منظم اصلاح شده همراه با 9 مقاله کوتاه ارائه شده است. به دقت بررسی و از بین 107 مورد ارسالی انتخاب شد. موضوعات شامل بررسی مدل، اثبات قضیه، تجزیه و تحلیل استاتیک، توسعه مبتنی بر مدل، نظارت بر زمان اجرا، رویکردهای رسمی برای تحمل خطا، کاربرد روشهای رسمی در سیستمهای هوافضا، تحلیل رسمی سیستمهای فیزیکی-سایبری، از جمله سیستمهای ترکیبی و تعبیهشده، روشهای رسمی است. در مهندسی سیستم، مدلسازی، الزامات و مشخصات، تولید نیازمندیها، اشکالزدایی مشخصات، اعتبارسنجی رسمی مشخصات، استفاده از روشهای رسمی در موارد ایمنی، استفاده از روشهای رسمی در تحلیل تعامل انسان و ماشین، روشهای رسمی برای پیادهسازی سختافزار موازی، استفاده از روشهای رسمی روشها در مهندسی و آزمایش نرمافزار خودکار، روشهای صحیح طراحی، طراحی برای تأیید، و تکنیکهای طراحی مبتنی بر ویژگی، تکنیکها و الگوریتمها برای مقیاسبندی روشهای رسمی، مانند روشهای انتزاعی و نمادین، تکنیکهای ترکیبی، تکنیکهای موازی و توزیع شده، و کاربرد روش های رسمی برای فناوری های نوظهور.
This book constitutes the refereed proceedings of the 6th International Symposium on NASA Formal Methods, NFM 2014, held in Houston, TX, USA, April 29 – May 1, 2014. The 20 revised regular papers presented together with 9 short papers were carefully reviewed and selected from 107 submissions. The topics include model checking, theorem proving, static analysis, model-based development, runtime monitoring, formal approaches to fault tolerance, applications of formal methods to aerospace systems, formal analysis of cyber-physical systems, including hybrid and embedded systems, formal methods in systems engineering, modeling, requirements and specifications, requirements generation, specification debugging, formal validation of specifications, use of formal methods in safety cases, use of formal methods in human-machine interaction analysis, formal methods for parallel hardware implementations, use of formal methods in automated software engineering and testing, correct-by-design, design for verification, and property based design techniques, techniques and algorithms for scaling formal methods, e.g., abstraction and symbolic methods, compositional techniques, parallel and distributed techniques, and application of formal methods to emerging technologies.
Front Matter....Pages -
DO-333 Certification Case Studies....Pages 1-15
A Compositional Monitoring Framework for Hard Real-Time Systems....Pages 16-30
Leadership Election: An Industrial SoS Application of Compositional Deadlock Verification....Pages 31-45
Verification of Certifying Computations through AutoCorres and Simpl....Pages 46-61
Distinguishing Sequences for Partially Specified FSMs....Pages 62-76
On Proving Recoverability of Smart Electrical Grids....Pages 77-91
Providing Early Warnings of Specification Problems....Pages 92-97
Mechanized, Compositional Verification of Low-Level Code....Pages 98-112
Formally Verified Computation of Enclosures of Solutions of Ordinary Differential Equations....Pages 113-127
On the Quantum Formalization of Coherent Light in HOL....Pages 128-142
Refinement Types for tla + ....Pages 143-157
Using Lightweight Theorem Proving in an Asynchronous Systems Context....Pages 158-172
JKelloy: A Proof Assistant for Relational Specifications of Java Programs....Pages 173-187
Verifying Hybrid Systems Involving Transcendental Functions....Pages 188-202
Verifying Nonpolynomial Hybrid Systems by Qualitative Abstraction and Automated Theorem Proving....Pages 203-208
Combining PVSio with Stateflow....Pages 209-214
Qed. Computing What Remains to Be Proved....Pages 215-229
Warps and Atomics: Beyond Barrier Synchronization in the Verification of GPU Kernels....Pages 230-245
Testing-Based Compiler Validation for Synchronous Languages....Pages 246-251
Automated Testcase Generation for Numerical Support Functions in Embedded Systems....Pages 252-257
REFINER: Towards Formal Verification of Model Transformations....Pages 258-263
Designing a Deadlock-Free Train Scheduler: A Model Checking Approach....Pages 264-269
A Synthesized Algorithm for Interactive Consistency....Pages 270-284
Energy-Utility Quantiles....Pages 285-299
Incremental Verification of Compiler Optimizations....Pages 300-306
Memory Efficient Data Structures for Explicit Verification of Timed Systems....Pages 307-312
The Gradual Verifier....Pages 313-327
Synthesizing Predicates from Abstract Domain Losses....Pages 328-342
Formal Verification of kLIBC with the WP Frama-C Plug-in....Pages 343-358
Back Matter....Pages -