JAIST Repository > b. 情報科学研究科・情報科学系 > b30. リサーチレポート > Research Report - School of Information Science : ISSN 0918-7553 >
Modeling of Real-Time System Designs for Parametric Analysis
Combining Testing and Static Analysis to Overflow and Roundoff Error Detection
Modular Implementation of a Translator from Behavioral Specifications to Rewrite Theory Specifications (Extended Version)
Automatic Generation of Model Checking Scripts based on Environment Modeling