Laura Kovács

• Automated Reasoning
• Integrated Formal Methods
• Reachability Problems
• Tests and Proofs