Robuta

https://www.fmi.uni-stuttgart.de/alg/team/

Team | Institute for Formal Methods of Computer Science | University of Stuttgart

formal methods computer science team institute university

https://thefutureofthings.com/category/science/formal-science/

Formal Science Archives - TFOT

formal science archives tfot

https://www.nsf.gov/funding/opportunities/fmitf-formal-methods-field/505518/nsf18-596/solicitation

NSF 18-596: Formal Methods in the Field (FMitF) | NSF - U.S. National Science Foundation

in the field formal methods nsf