Anastasia Mavridou
@anmavrid
Followers
372
Following
1K
Media
41
Statuses
327
Research scientist @ NASA Ames Research Center | Mom of Chloe | Do you speak FRETish? 🚀 https://t.co/6D2G3wzkPv
Mountain View, CA
Joined May 2010
🚀 Looking forward to the FormaliSE keynotes: .Corina Pasareanu and Krzysztof Czarnecki.
0
0
5
We have just updated our list of FRET-related publications. See: .If you are the author of a FRET-related paper and would like to see it included, let us know!.
0
0
1
đź“Ą Get FRET v3.0!. đź”— Full Release Notes: đź”— GitHub Repository:
0
0
0
🔹 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 (.
1
0
0
🔹 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.
1
0
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).
1
0
0
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.
1
0
1
🚀 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.
1
1
4
We have just released FRET v3.0! This release introduces two major features:.🚀Probabilistic Requirement Specification and Formalization.🚀Requirement-based Test Case Generation . Full release notes:
0
0
2
The program of FormaliSE 2025 is now available: See you in Ottawa! 🚀.
0
1
6
Here are the abstracts of the FormaliSE keynotes: Looking forward to the talks!.
0
1
1
Excited to announce that our paper was accepted at NFM 2025!
0
1
6
We're thrilled to announce our keynote speakers for FormaliSE 2025: Corina Pasareanu and Krzysztof Czarnecki!.
0
1
6
Such an outstanding program this year! 🎉 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: See you in Ottawa!.
0
0
1
It is always a pleasure to work with you Marie and Hazel. Thanks for visiting us! @farrell_marie
0
0
4
Special thanks to all amazing FRETters: Andreas Katis, Tom Pressburger and Khanh Trinh.
0
0
0
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!
1
0
5