Towards Automatic Temporal Logic Verification of Value Passing Process Algebra Using Abstract Interpretation.

Alessandro Fantechi, Stefania Gnesi, Diego Latella

Browse the full CONCUR paper archive.