benchmark, concurrency, hybrid games, hybrid systems, logic, nonlinear continuous systems, ownership transfer, theorem proving, verification.
