การทวนสอบเชิงฟังก์ชันสำหรับแบบจำลองประกอบของการออกแบบบนพื้นฐานของกระแสด้วยภาวะนามธรรมประวัติ

• المؤلف الرئيسي: นนทศักดิ์ จันทร์ชุม
• مؤلفون آخرون: พรศิริ หมื่นไชยศรี
• التنسيق: Theses and Dissertations
• اللغة: Thai
• منشور في: จุฬาลงกรณ์มหาวิทยาลัย 2008
• الموضوعات: พีชคณิตนามธรรม; แบบจำลองทางคณิตศาสตร์
• الوصول للمادة أونلاين: https://digiverse.chula.ac.th/Info/item/dc:44256
• المؤسسة: Chulalongkorn University

The objective of this thesis is to present a method for verifying input/output properties of a composite model with model checking. The composite model in this thesis is derived from composing individual stream-based models with a sequential composition operator. With the sequential composition oper...