We are thrilled to announce that the results of our latest research project, Accelerated Simulation for Industry-Scale Behavioral Modeling, are now available on our website. This pioneering research project started in 2019 with the collaboration of several participants and it received funding from the Lowcomote project. In addition to the current IncQuery team, Critical Systems Research Group, Johannes Kepler University, ESO, and NASA JPL have also contributed.

Find the details of the innovative model-checking toolkit for scalable V&V in behavioral systems design on our project page.

‍