-
The FCTOOLS User Manual (Version 1.0)
We describe a set of modular extensions to our Auto/Graph verification toolset for networks of communicating processes. These software additions operate from a common... -
Incremental discrete controller synthesis for communicating systems based on ...
International audience
