Deriving a State Model of a Control Program by Symbolic Execution.

Keyphrases

• State Model 100%
• Symbolic Execution 100%
• Control Program 100%
• Control Component 33%
• Tool Implementation 33%
• Execution Path 33%
• Abstract Interpretation 33%
• State Transition Model 33%
• SMT Solver 33%
• Widening Operator 33%
• Symbolic Value 33%
• Various Applications 33%
• Formal Foundations 33%

Computer Science

• Symbolic Execution 100%
• State Transition 33%
• Application Scenario 33%
• Transition Model 33%
• Abstract Interpretation 33%
• Tool Implementation 33%
• Execution Path 33%