Developing the industrial-strength tools for modeling, testing and verification: A formal-methods perspective
Date:
This talk is about the experiences of developing industrial-strength tools for modeling, testing and verification from a formal-methods perspective.