JAIST Repository > School of Information Science > JAIST Research Reports > Research Report - School of Information Science : ISSN 0918-7553 >
Modeling and Analyzing the Impact of Software Fault Tolerance Techniques on the Reliability of Component-based Systems
Generate & Check Methods for Invariant Verification in CafeOBJ
Well-Structured Pushdown Systems, Part 2: On Reachability of Dense Timed Pushdown Automata
Nested Timed Automata
raSAT: SMT for Polynomial Inequality