Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France June 12–14, 1989 Proceedings

این جلد شامل مجموعه مقالات کارگاهی است که در ژوئن 1989 در گرنوبل برگزار شد. این اولین کارگاهی بود که به طور کامل به تأیید سیستم های حالت محدود اختصاص داشت. این کارگاه محققان و متخصصان علاقه مند به توسعه و استفاده از روش ها، ابزارها و تئوری ها برای تأیید خودکار سیستم های حالت محدود را گرد هم آورد. هدف این کارگاه مقایسه روش‌ها و ابزارهای تأیید برای کمک به طراح برنامه‌ها بود. مقالات این جلد، تکنیک‌های راستی‌آزمایی سیستم‌های حالت محدود را بررسی کرده و مزایای نسبی آنها را ارزیابی می‌کند. تکنیک های در نظر گرفته شده فرمالیسم های مختلف مشخصات مانند جبرهای فرآیندی، خودکار و منطق را پوشش می دهند. بیشتر مقالات بر بهره برداری از نتایج موجود در سه حوزه کاربردی متمرکز هستند: طراحی سخت افزار، پروتکل های ارتباطی و سیستم های بلادرنگ.

This volume contains the proceedings of a workshop held in Grenoble in June 1989. This was the first workshop entirely devoted to the verification of finite state systems. The workshop brought together researchers and practitioners interested in the development and use of methods, tools and theories for automatic verification of finite state systems. The goal at the workshop was to compare verification methods and tools to assist the applications designer. The papers in this volume review verification techniques for finite state systems and evaluate their relative advantages. The techniques considered cover various specification formalisms such as process algebras, automata and logics. Most of the papers focus on exploitation of existing results in three application areas: hardware design, communication protocols and real-time systems.