Deriving concurrent control software from behavioral specifications.

Ganesh Ramanathan Benjamin Morandi Scott West Sebastian Nanz Bertrand Meyer

Published in: IROS (2010)

Keyphrases

control software
control system
high level
delay insensitive
concurrent programs
human behavior
real world
specification language
formal specification
database
control algorithm
human computer interaction
search algorithm
formal verification
asynchronous circuits
mutual exclusion
artificial intelligence
data mining