-
Distributed On-the-Fly Verification of Large State Spaces
The verification of concurrent finite-state systems is confronted in practice with the state explosion problem (prohibitive size of the underlying state space), which... -
Vérification de propriétés temporelles à la volée
Colloque avec actes et comité de lecture.
