VeriTech: A framework for translating among model description notations

Keyphrases

• Model Specification 100%
• Error Analysis 50%
• Compiler 50%
• Syntactic Transformations 50%
• Previously Treated 50%
• Level Description 50%
• Specification Method 50%
• Design Level 50%
• Verification Tool 50%
• Formal Verification Tools 50%
• Source Model 50%
• Error Tracing 50%
• Retranslation 50%

Computer Science

• Syntactics 100%
• Formal Verification 100%
• Level Description 100%
• Computer Hardware 100%