Adnan Rashid

Latest

• Formal Verification of Cyber-Physical Systems using Theorem Proving (Invited Paper)
• Formal verification of platoon control strategies
• Formal reasoning about systems biology using theorem proving