دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: [1 ed.] نویسندگان: Reinhard Wilhelm (auth.), Susanne Graf, Laurent Mounier (eds.) سری: Lecture Notes in Computer Science 2989 ISBN (شابک) : 3540213147, 9783540213147 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2004 تعداد صفحات: 314 [318] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 Mb
در صورت تبدیل فایل کتاب Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مدل بررسی نرم افزار: 11 کارگاه بین المللی SPIN، بارسلونا، اسپانیا، آوریل 1-3، 2004. مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
از سال 1995، زمانی که مجموعه کارگاه های SPIN راه اندازی شد، کارگاه های آموزشی SPIN به صورت سالانه در Montr'eal (1995)، نیوبرانزویک (1996)، Enschede (1997)، پاریس (1998)، ترنتو (1999) برگزار می شود. تولوز (1999)، استنفورد (2000)، تورنتو (2001)، گرنوبل (2002) و پورتلند (2003). همه به جز اولین کارگاه SPIN به عنوان رویدادهای ماهواره ای کنفرانس های بزرگتر، به ویژه CAV (1996)، TACAS (1997)، FORTE/PSTV (1998)، FLOC (1999)، کنگره جهانی روش های رسمی (1999) سازماندهی شدند. ، FMOODS (2000)، ICSE (2001، 2003) و ETAPS (2002). امسال نیز SPIN به عنوان یک رویداد ماهواره ای ETAPS 2004 برگزار شد. محل مشترک کارگاه های SPIN با کنفرانس ها ثابت کرده است که بسیار موفق بوده و به انتشار فناوری بررسی مدل SPIN به مخاطبان گسترده تر کمک کرده است. از سال 1999، مجموعه مقالات کارگاه های SPIN در مجموعه یادداشت های سخنرانی Springer-Verlag در علوم کامپیوتر ظاهر شده است. تاریخچه کارگاه های موفق SPIN شاهدی بر بلوغ فناوری بررسی مدل است، نه تنها در حوزه سخت افزار، بلکه به طور فزاینده ای در حوزه نرم افزار نیز. در حالی که در سالهای گذشته الگوریتمها و توسعه ابزار پیرامون سریهای کارگاههای مدل SPIN، تمرکز بر روی این مجموعه کارگاهها بود، چندین سال است که این دامنه به گونهای گستردهتر شده است که رویکردهای کلیتری برای تکنیکها و ابزارهای بررسی مدل نرمافزار و همچنین برنامههای کاربردی را شامل میشود. کارگاه SPIN به انجمنی برای همه پزشکان و محققان علاقه مند به تکنیک های مبتنی بر بررسی مدل برای اعتبار سنجی و تجزیه و تحلیل پروتکل های ارتباطی و سیستم های نرم افزاری تبدیل شده است.
Since 1995, when the SPIN workshop series was instigated, SPIN workshops have been held on an annual basis in Montr´ eal (1995), New Brunswick (1996), Enschede (1997), Paris (1998), Trento (1999), Toulouse (1999), Stanford (2000), Toronto (2001), Grenoble (2002) and Portland (2003). All but the ?rst SPIN workshop were organized as satellite events of larger conferences, in particular of CAV (1996), TACAS (1997), FORTE/PSTV (1998), FLOC (1999), the World Congress on Formal Methods (1999), FMOODS (2000), ICSE (2001, 2003) and ETAPS (2002). This year again, SPIN was held as a satellite event of ETAPS 2004. The co-location of SPIN workshops with conferences has proven to be very successful and has helped to disseminate SPIN model checking technology to wider audiences. Since 1999, the proceedings of the SPIN workshops have appeared in Springer-Verlag’s Lecture Notes in Computer Science series. The history of successful SPIN workshops is evidence for the maturing of model checking technology, not only in the hardware domain, but increasingly also in the software area. While in earlier years algorithms and tool development aroundtheSPINmodelcheckerwerethefocusofthisworkshopseries,forseveral years now the scope has been widened to include more general approaches to software model checking techniques and tools as well as applications. The SPIN workshop has become a forum for all practitioners and researchers interested in model checking based techniques for the validation and analysis of communication protocols and software systems.
Front Matter....Pages -
Formal Analysis of Processor Timing Models....Pages 1-4
Typical Structural Properties of State Spaces....Pages 5-22
State Caching Reconsidered....Pages 23-38
Directed Error Detection in C++ with the Assembly-Level Model Checker StEAM....Pages 39-56
Fast and Accurate Bitstate Verification for SPIN....Pages 57-75
Model-Driven Software Verification....Pages 76-91
Minimization of Counterexamples in SPIN....Pages 92-108
Black-Box Conformance Testing for Real-Time Systems....Pages 109-126
Validation of UML Models via a Mapping to Communicating Extended Timed Automata....Pages 127-145
Explicit State Model Checking with Hopper....Pages 146-150
SEQ.OPEN: A Tool for Efficient Trace-Based Verification....Pages 151-157
Model Checking Genetic Regulatory Networks Using GNA and CADP....Pages 158-163
Verification of Java Programs Using Symbolic Execution and Invariant Generation....Pages 164-181
Polynomial Time Image Computation with Interval-Definable Counters Systems....Pages 182-197
Using Fairness to Make Abstractions Work....Pages 198-215
A Scalable Incomplete Test for Message Buffer Overflow in Promela Models....Pages 216-233
Translation from Adapted UML to Promela for CORBA-Based Applications....Pages 234-251
Verifying Commit-Atomicity Using Model-Checking....Pages 252-266
Analysis of Distributed Spin Applied to Industrial-Scale Models....Pages 267-285
Verification of MPI-Based Software for Scientific Computation....Pages 286-303
Advanced SPIN Tutorial....Pages 304-305
IF Validation Environment Tutorial....Pages 306-307
Back Matter....Pages -