DOML MODEL CHECKER

DOML MODEL CHECKER

This blog post is written by Matteo Pradella and Andrea Franchini Model checking is a formal verification approach where a system is typically represented as an operational model, together with a logical framework for expressing and checking that certain desired...
A FINAL HORIZON RESULTS BOOSTER EXPERIENCE

A FINAL HORIZON RESULTS BOOSTER EXPERIENCE

In early 2023 PIACERE has been awarded with a third and final Horizon Results Booster programme focus innovation management to enhance the already mature exploitation work we have been developing so far. This is part of the Go to Market service and is following the...
SESSION ABOUT EXPERTS PANEL

SESSION ABOUT EXPERTS PANEL

During the GA meeting in Valencia, there was a discussion group on the following topics: Panel on DevSecOps applicability, challenges and future directions During the session, some experts participated (Ismael Torres (Prodevelop), Juan Carlos Molina (Integranova),...