Search found 1 match
Search found 1 match • Page 1 of 1
- Sat May 20, 2017
- Forum: Consolidated 2015 industrial challenge
- Topic: Challenge 2015 New Solution: Verification of an Aerial Video System
- Replies: 1
- Views: 455
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 ...