UPPAAL TRON User Manual Kim G Larsen Marius Miku ionis Brian Nielsen CISS BRICS Aalborg University Aalborg Denmark kgl marius bnielsen cs aau dk June 17 2009 Abstract UPPAAL TRON is an online model based testing tool for real time sys tems This user manual documents the implementation features of the tool and could also be used as a reference manual for building test adapters for TRON The reader should be familiar with UPPAAL tutorial 1 Basic knowledge
UPPAAL TIGA User manual Gerd Behrmann Agn s Cougnard Alexandre David Emmanuel Fleury Kim G Larsen Didier Lime 1 CISS Aalborg University Aalborg Denmark behrmann acougnar adavid kgl cs aau dk LaBRI Bordeaux 1 University CNRS UMR 5800 Talence France fleury labri fr 3 IRCCyN Ecole Centrale de Nantes CNRS UMR 6597 Nantes France Didier Lime irccyn ec nantes fr Abstract UPPAAL TIGA is a tool to perform automatic synthesis of control