It is always a pleasure to work with you Marie and Hazel. Thanks for visiting us! Marie Farrell

Such an outstanding program this year! 2025.formalise.org/#event-overview 🎉 Spread the word about FormaliSE 2025 to anyone who may be interested in attending! ⏳ Early Bird Deadline: Register by February 18 to take advantage of reduced pricing: 2025.formalise.org/attending/regi… See you in Ottawa!

We're thrilled to announce our keynote speakers for FormaliSE 2025: Corina Pasareanu and Krzysztof Czarnecki! conf.researchr.org/home/Formalise…

Excited to announce that our paper was accepted at NFM 2025!

With heavy hearts, we say farewell to Jack Boyd, one of the legends of the NASA Ames family, who has passed away at the age of 99. Boyd's exemplary career as an engineer, leader, educator, and mentor spanned more than seven decades. He will be dearly missed.

Here are the abstracts of the FormaliSE keynotes: conf.researchr.org/home/Formalise… Looking forward to the talks!

The program of FormaliSE 2025 is now available: conf.researchr.org/home/Formalise… See you in Ottawa! 🚀

We have just released FRET v3.0! github.com/NASA-SW-VnV/fr… This release introduces two major features: 🚀Probabilistic Requirement Specification and Formalization 🚀Requirement-based Test Case Generation Full release notes: github.com/NASA-SW-VnV/fr…

We have just updated our list of FRET-related publications. See: github.com/NASA-SW-VnV/fr… If you are the author of a FRET-related paper and would like to see it included, let us know!

🚀 Looking forward to the FormaliSE keynotes: conf.researchr.org/home/Formalise… Corina Pasareanu and Krzysztof Czarnecki