Automatic Generation of Symbolic Model for Parameterized Synchronous Systems

Keywords: parameterized system,formal verification,symbolic representation
参数同步,形式验证,符号表示法,程序设计

Full-Text   Cite this paper   Add to My Lib

Abstract:

Full-Text