specifications using CADP.

Dimitris Vekris Frédéric Lang Catalin Dima Radu Mateescu

Published in: Formal Aspects Comput. (2016)

Keyphrases

delay insensitive
databases
high level
concurrent systems
control flow
computer vision
formal specification
machine learning
mobile robot
social networks
functional requirements
operational semantics
reactive systems
bounded model checking