Model Checking of Real-Time Properties of Resource-Bound Process Algebra

スポンサーリンク

概要

• 論文の詳細を見る

• The algebra of communicating shared resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. In analyzing ACSR models, the existing techniques such as bisimulation checking and Hennessy-Milner Logic (HML) model checking are very important in theory of ACSR, but they are difficult to use for large complex system models in practice. In this paper, we suggest a framework to verify ACSR models against their requirements described in an expressive timed temporal logic. We demonstrate the usefulness of our approach with a real world case study.

著者

• PARK Junkil

  Department of Computer Science and Engineering, Korea University

• LEE Jungjae

  Department of Computer Science and Engineering, Korea University

• CHOI Jin-Young

  Department of Computer Science and Engineering, Korea University

• LEE Insup

  Department of Computer and Information Science, University of Pennsylvania

関連論文

• Model Checking of Real-Time Properties of Resource-Bound Process Algebra
• Model Checking of Real-Time Properties of Resource-Bound Process Algebra
• Endoscopic-Assisted Open Reduction and Internal Fixation (EAORIF) for Condylar Fracture(International Symposium of Maxillofacial and Oral Regenerative Biology in Okayama 2005)
• A Surface Resistance Effect on the Fabrication of Dye-sensitized Solar Cell with Various Widths
• Secure Handover Protocol for Mobile WiMAX Networks

スポンサーリンク