On Optimization of Minimized Assumption Generation Method for Component-Based Software Verification

スポンサーリンク

概要

• 論文の詳細を見る
• 2012-09-01

著者

• Aoki Toshiaki

  Japan Advanced Institute of Science and Technology

• Katayama Takuya

  Japan Advanced Institute Of Science And Technology

• PHAM Ngoc

  the VNU University of Engineering and Technology

• NGUYEN Viet

  the VNU University of Engineering and Technology

関連論文

• Automatic Generation of Model Checking Scripts based on Environment Modeling
• Highly Reliable Embedded Software Development Using Advanced Software Technologies(Software Engineering for Embedded Systems)
• Extracting threads from concurrent objects for the design of embedded systems
• A Novel Replication Technique for Detecting and Masking Failures for Parallel Software: Active Parallel Replication
• OAG : Improved Ordered Attribute Grammars for Less Type 3 Circularities
• Automated Adaptor Generation for Behavioral Mismatching Services Based on Pushdown Model Checking
• On Optimization of Minimized Assumption Generation Method for Component-Based Software Verification
• On Optimization of Minimized Assumption Generation Method for Component-Based Software Verification

スポンサーリンク