دانلود کتاب Computer-Aided Verification: 2nd International Conference, CAV ’90 New Brunswick, NJ, USA, June 18–21, 1990 Proceedings (به فارسی: تأیید به کمک رایانه: دومین کنفرانس بین المللی، CAV ’90 نیوبرانزویک، نیوجرسی، ایالات متحده آمریکا، 18 تا 21 ژوئن، 1990 مجموعه مقالات) نوشته شده توسط «Edmund M. Clarke Jr. (auth.) – Edmund M. Clarke – Robert P. Kurshan (eds.)»
اطلاعات کتاب تأیید به کمک رایانه: دومین کنفرانس بین المللی، CAV ’90 نیوبرانزویک، نیوجرسی، ایالات متحده آمریکا، 18 تا 21 ژوئن، 1990 مجموعه مقالات
موضوع اصلی: کامپیوترها
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Edmund M. Clarke Jr. (auth.) – Edmund M. Clarke – Robert P. Kurshan (eds.)
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1991
تعداد صفحه: 378
حجم کتاب: 4 مگابایت
کد کتاب: 9783540544777 , 3540544771
نوبت چاپ: 1
توضیحات کتاب تأیید به کمک رایانه: دومین کنفرانس بین المللی، CAV ’90 نیوبرانزویک، نیوجرسی، ایالات متحده آمریکا، 18 تا 21 ژوئن، 1990 مجموعه مقالات
این جلد شامل مجموعه مقالات دومین کارگاه تأیید به کمک رایانه است که در DIMACS، دانشگاه راتگرز، 18 تا 21 ژوئن 1990 برگزار شد. دارای نتایج نظری است که منجر به روش‌های تأیید جدید یا قدرتمندتر می‌شود. از جمله پیشرفت‌هایی در استفاده از نمودارهای تصمیم‌گیری باینری، زمان متراکم، کاهش بر اساس نمایش‌های سفارش جزئی و بررسی اثباتی در تأیید کنترل‌کننده. انگیزه برگزاری یک کارگاه در مورد تأیید به کمک رایانه، گردآوری کار روی الگوریتم‌ها یا روش‌های مؤثر برای تأیید رسمی بود – به عنوان مثال، از ویژگی‌های منطق یا زبان‌های رسمی متمایز شد. علاقه قابل توجهی که توسط اولین کارگاه، در ژوئن 1989 در گرنوبل برگزار شد (به LNCS 407 مراجعه کنید)، باعث برگزاری دومین جلسه شد. تمرکز کلی این جلد بر روی مشکل امکان پذیر ساختن تأیید رسمی برای مدل های مختلف محاسبات است. تاکید ویژه بر مدل های مرتبط با برنامه های توزیع شده، پروتکل ها و مدارهای دیجیتال است. آزمون کلی امکان‌سنجی الگوریتم، جاسازی آن در ابزار تأیید، و استفاده از آن ابزار بر روی مثال‌های واقعی است: این کارگاه شامل جلساتی برای نمایش ابزارهای تأیید جدید بود.
This volume contains the proceedings of the second workshop on Computer Aided Verification, held at DIMACS, Rutgers University, June 18-21, 1990. Itfeatures theoretical results that lead to new or more powerful verification methods. Among these are advances in the use of binary decision diagrams, dense time, reductions based upon partial order representations and proof-checking in controller verification. The motivation for holding a workshop on computer aided verification was to bring together work on effective algorithms or methodologies for formal verification – as distinguished, say,from attributes of logics or formal languages. The considerable interest generated by the first workshop, held in Grenoble, June 1989 (see LNCS 407), prompted this second meeting. The general focus of this volume is on the problem of making formal verification feasible for various models of computation. Specific emphasis is on models associated with distributed programs, protocols, and digital circuits. The general test of algorithm feasibility is to embed it into a verification tool, and exercise that tool on realistic examples: the workshop included sessionsfor the demonstration of new verification tools.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.