JAIST Repository > School of Information Science > JAIST Research Reports > 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
