Systematic testing and formal verification to validate reactive programs

Müllerburg, M.M.MüllerburgHolenderski, L.L.HolenderskiMattheeis, A.A.MattheeisMerceron, A.A.MerceronMorley, M.M.Morley2022-03-032022-03-031995https://publica.fraunhofer.de/handle/publica/18758410.1007/BF00402649en005006629Systematic testing and formal verification to validate reactive programsjournal article