Publication | Open Access
ARCH-COMP18 Category Report: Results on the Falsification Benchmarks
18
Citations
0
References
2018
Year
EngineeringTemporal Logic SpecificationsVerificationSoftware EngineeringFriendly CompetitionFormal VerificationArch-comp18 Category ReportData ScienceSystems EngineeringTemporal LogicTimed SystemFormal SpecificationComputer ScienceArch WorkshopSoftware DesignSpecification LanguageCyber Physical SystemsAutomated ReasoningAutomationFormal MethodsReporting StandardSystem Specification
This report presents the outcomes of the 2018 friendly competition in the ARCH workshop for the category of falsification of temporal logic specifications over Cyber-Physical Systems.