UPPAAL CORA

MaRDI QIDQ37398swMATHFDO

Official website http://people.cs.aau.dk/~adavid/cora/introduction.html

Cited in

(12)

• Memory arbiter synthesis and verification for a radar memory interface card
• Model Checking Real-Time Systems
• Symbolic and compositional reachability for timed automata
• Romeo
• MOTOR
• GEZEL
• Verics
• On using priced timed automata to achieve optimal scheduling
• A Kleene-Schützenberger theorem for weighted timed automata
• Formal Methods for Components and Objects
• Quantitative attack tree analysis via priced timed automata
• Weighted o-minimal hybrid systems

This page was built for software: UPPAAL CORA