1 paper
Matt Luckcuck, Marie Farrell, Oisín Sheridan +1
Verification of complex, safety-critical systems is a significant challenge. Manual testing and simulations are often used, but are only capable of exploring a subset of the system…