An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems.

Rocco De Nicola, Alessandro Fantechi, Stefania Gnesi, Gioia Ristori

Browse the full CAV paper archive.