About OMORI YUKI
About KOGAI KEI
About UEDA YOSHIKAZU
About YAMAGATA TOMOYUKI
About TAKEZAWA TAKAYUKI
About 日本ソフトウェア科学会大会講演論文集(CD-ROM)
About model checking
About software development
About successive approximation
About theorem proving
About behavior
About combinational problem
About state space method
About modeling
About counterexample
About behavior
About state explosion problem
About Theory of computation
About Computer system development
About 段階
About 検査
About モデル検査
About 反例
About 分析
About 手法