Automatic verification of real-time communicating systems by constraint-solving.

Wang Yi, Paul Pettersson, Mats Daniels

Browse the full FORTE paper archive.