Workshop of HiPEAC 2022 sponsored by VALU3S.

The VALU3S project has the pleasue to announce to its following community that it is a sponsor of the STEADINESS – System Engineering and Dependability in Cyber-Physical Systems  workshop, which is one of three workshops that are part of the CPS Segment of...

Meet VALU3S at EFECS2021!

VALU3S crew is waiting for you at #EFECS2021, the European Forum for Electronic Components and Systems, which will be held online from today to Thursday 25th. Visit our virtual booth to find interesting materials about the project and chat with us at this link:...

The Third Workshop on Formal Methods for Autonomous Systems

Dr Matt Luckcuck and Dr Marie Farrell organised the third edition of their workshop on Formal Methods for Autonomous Systems (FMAS 2021), which was held on the 21st and 22nd of October 2021. FMAS 2021 was run online, because of the ongoing COVID-19 restrictions, but...

Formally Verifying Autonomous Systems

Dr Matt Luckcuck and Dr Marie Farrell discuss how robust Formal Methods can help to verify autonomous systems. Autonomous and automated systems present a variety of challenges for robust verification and validation. Autonomous systems make choices without human...