🚀 Looking forward to the FormaliSE keynotes: https://t.co/HCqqAuXESq Corina Pasareanu and Krzysztof Czarnecki

We have just updated our list of FRET-related publications. See: https://t.co/srzDzKzNG0 If you are the author of a FRET-related paper and would like to see it included, let us know!

📥 Get FRET v3.0! 🔗 Full Release Notes: https://t.co/i7Nqs2lNRk 🔗 GitHub Repository:

🔹 Requirement-Based Test Case Generation FRET v3.0 also introduces automated test case generation based on FRETish requirements. The streamlined workflow ensures comprehensive testing based on the FLIP coverage metric ( https://t.co/fWN3CL815T).

🔹 Probabilistic Requirement Specification & Formalization FRET v3.0 introduces probabilistic requirement specification and formalization, allowing users to model uncertainty—an essential capability for autonomous systems. The generated formulas align with the PRISM language.

🚀 What’s New in FRET v3.0?

FRET supports hierarchical structuring and exporting in various formats, enabling smooth integration with formal analysis tools. Additionally, it features built-in consistency checking, facilitating early verification and validation (V&V).

FRET allows users to express requirements in restricted English, ensuring unambiguous specification. To enhance understanding of semantics, it automatically translates requirements into multiple representations: English descriptions, formal mathematical logic, and diagrams.

🚀 Announcing NASA’s Formal Requirements Elicitation Tool (FRET) v3.0 under Apache 2.0 license We are thrilled to introduce FRET v3.0, a powerful framework for specifying, formalizing, and analyzing system requirements with clarity and precision.

We have just released FRET v3.0! https://t.co/mhGizyrn5G This release introduces two major features: 🚀Probabilistic Requirement Specification and Formalization 🚀Requirement-based Test Case Generation Full release notes:

The program of FormaliSE 2025 is now available: https://t.co/pwa3d3gSfs See you in Ottawa! 🚀

Here are the abstracts of the FormaliSE keynotes: https://t.co/HCqqAuXESq Looking forward to the talks!

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.

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

We're thrilled to announce our keynote speakers for FormaliSE 2025: Corina Pasareanu and Krzysztof Czarnecki! https://t.co/HCqqAuX72S

Such an outstanding program this year! https://t.co/mGqfAkouRC 🎉 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: https://t.co/biX4aZhPxd See you in Ottawa!

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

Special thanks to all amazing FRETters: Andreas Katis, Tom Pressburger and Khanh Trinh.

I am delighted to announce that we released NASA's FRET v2.9.1! 🚀 As part of this release, we have extended the expressiveness of FRETIsh, improved the UI, and optimized several aspects of our backend algorithms. Have a look!

FormaliSE 2025, call for papers: https://t.co/jgTXxKC93z Submission link: