دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings
دانلود کتاب فن آوری خودکار برای تایید و تجزیه و تحلیل: هشتمین همایش بین المللی، ATVA 2010، سنگاپور، 21-24 سپتامبر 2010. پرونده ها
مشخصات کتاب
Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings
ویرایش: 1 نویسندگان: Krishnendu Chatterjee, Thomas A. Henzinger (auth.), Ahmed Bouajjani, Wei-Ngan Chin (eds.) سری: Lecture Notes in Computer Science 6252 : Programming and Software Engineering ISBN (شابک) : 9783642156434, 3642156436 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2010 تعداد صفحات: 414 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 مگابایت
قیمت کتاب (تومان) : 34,000
کلمات کلیدی مربوط به کتاب فن آوری خودکار برای تایید و تجزیه و تحلیل: هشتمین همایش بین المللی، ATVA 2010، سنگاپور، 21-24 سپتامبر 2010. پرونده ها: مهندسی نرم افزار، تکنیک های برنامه نویسی، شبکه های ارتباطی کامپیوتری، منطق و معانی برنامه ها، زبان های برنامه نویسی، کامپایلرها، مترجمان، مهندسی نرم افزار/برنامه نویسی و سیستم های عامل
در صورت تبدیل فایل کتاب Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب فن آوری خودکار برای تایید و تجزیه و تحلیل: هشتمین همایش بین المللی، ATVA 2010، سنگاپور، 21-24 سپتامبر 2010. پرونده ها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب فن آوری خودکار برای تایید و تجزیه و تحلیل: هشتمین همایش بین المللی، ATVA 2010، سنگاپور، 21-24 سپتامبر 2010. پرونده ها
این کتاب مجموعه مقالات داوری هشتمین سمپوزیوم بین المللی فناوری خودکار برای تأیید و تجزیه و تحلیل، ATVA 2010، در سنگاپور، در سپتامبر 2010 است. این کتاب شامل 3 سخنرانی دعوت شده، 21 مقاله معمولی و 9 مقاله ابزار است.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 8th International Symposium on Automated Technology for Verification and Analysis, ATVA 2010, held in Singapore, in September 2010. The book includes 3 invited talks, 21 regular papers and 9 tool papers.
فهرست مطالب
Front Matter....Pages -
Probabilistic Automata on Infinite Words: Decidability and Undecidability Results....Pages 1-16
Abstraction Learning....Pages 17-17
Synthesis: Words and Traces....Pages 18-21
Promptness in ω -Regular Automata....Pages 22-36
Using Redundant Constraints for Refinement....Pages 37-51
Methods for Knowledge Based Controlling of Distributed Systems....Pages 52-66
Composing Reachability Analyses of Hybrid Systems for Safety and Stability....Pages 67-81
The Complexity of Codiagnosability for Discrete Event and Timed Systems....Pages 82-96
On Scenario Synchronization....Pages 97-111
Compositional Algorithms for LTL Synthesis....Pages 112-127
What’s Decidable about Sequences?....Pages 128-142
A Study of the Convergence of Steady State Probabilities in a Closed Fork-Join Network....Pages 143-157
Lattice-Valued Binary Decision Diagrams....Pages 158-172
A Specification Logic for Exceptions and Beyond....Pages 173-187
Non-monotonic Refinement of Control Abstraction for Concurrent Programs....Pages 188-202
An Approach for Class Testing from Class Contracts....Pages 203-217
Efficient On-the-Fly Emptiness Check for Timed Büchi Automata....Pages 218-232
Reachability as Derivability, Finite Countermodels and Verification....Pages 233-244
LTL Can Be More Succinct....Pages 245-258
Automatic Generation of History-Based Access Control from Information Flow Specification....Pages 259-275
Auxiliary Constructs for Proving Liveness in Compassion Discrete Systems....Pages 276-290
Symbolic Unfolding of Parametric Stopwatch Petri Nets....Pages 291-305
Recursive Timed Automata....Pages 306-324
Probabilistic Contracts for Component-Based Design....Pages 325-340
Model-Checking Web Applications with Web-TLR ....Pages 341-346
GAVS: Game Arena Visualization and Synthesis....Pages 347-352
CRI: Symboli c Debugge r for MCAP I Applications....Pages 353-358
MCGP: A Software Synthesis Tool Based on Model Checking and Genetic Programming....Pages 359-364
ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems....Pages 365-370
Developing Model Checkers Using PAT....Pages 371-377
YAGA: Automated Analysis of Quantitative Safety Specifications in Probabilistic B....Pages 378-386
COMBINE: A Tool on Combined Formal Methods for Bindingly Verification....Pages 387-395
Rbminer: A Tool for Discovering Petri Nets from Transition Systems....Pages 396-402
Back Matter....Pages -
