Search found 1 match

by youcheng.sun
Sat May 20, 2017
Forum: Consolidated 2015 industrial challenge
Topic: Challenge 2015 New Solution: Verification of an Aerial Video System
Replies: 1
Views: 798

Re: Challenge 2015 New Solution: Verification of an Aerial Video System

In this paper we propose solutions to the consolidated version of the WATERS 2015 industrial challenge of a distributed video processing system using the formalism of Parametric Timed Automata (PTA). The first challenge is harder because of the very large number of states to be analyzed, so we only ...