From Verification to Synthesis

Keyphrases

• Formal Specification 100%
• Checking Method 100%
• High Complexity 50%
• Digital Circuits 50%
• Automata 50%
• Model Checking Techniques 50%
• Correct by Design 50%
• Automatic Synthesis 50%
• Memory Requirements 50%
• Programming Errors 50%
• Design Errors 50%
• Erroneous Behaviors 50%
• Digital Code 50%
• Design Codes 50%

Computer Science

• Model Checking 100%
• Formal Specification 50%
• Digital Circuit 25%
• Automaton 25%
• Checking Technique 25%
• Automatic Synthesis 25%
• Memory Requirement 25%
• Programming Error 25%