College of Engineering, Design & Computing Events
Formal Methods in the Field
|
All Day
Feb. 15, 2022 | Formal Methods in the Field
NSF
Aims to bring together researchers in formal methods with researchers in other areas of computer and information science and engineering to jointly develop rigorous and reproducible methodologies for designing and implementing correct-by-construction systems and applications with provable guarantees. Offers research and transition to practice tracks.
NSF
Aims to bring together researchers in formal methods with researchers in other areas of computer and information science and engineering to jointly develop rigorous and reproducible methodologies for designing and implementing correct-by-construction systems and applications with provable guarantees. Offers research and transition to practice tracks.