519-888-4567 x35321
Location: 
DC 2335
Research Expertise
  • Development of automated and interactive formal methods tools
  • Formal methods of system analysis
  • Hardware verification
  • Requirements specification and analysis
  • Software Engineering
  • System safety

Waterloo Formal Methods (WatForm) 

Software Engineering Lab

Group(s): 
Software and Data→Embedded software, Hazard and safety analysis; A to D profiles