|
|
Download PDFOpen PDF in browserARCH-COMP17 Category Report: Preliminary Results on the Falsification Benchmarks5 pages•Published: June 27, 2017AbstractThis report presents some preliminary base results from the 2017 friendly competition in the ARCH workshop for the falsification of temporal logic specifications over Cyber-Physical Systems. The benchmarks are available on the ARCH website. In this report, we present results on a powertrain model developed by Toyota Technical Center which contains a complex automatic air-fuel control subsystem In: Goran Frehse and Matthias Althoff (editors). ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, vol 48, pages 170-174. Download PDFOpen PDF in browser |
|
|