Process Calculi, from Theory to Practice: Verification Tools

Authors:
Gérard Boudol;Valérie Roy;Robert de Simone;Didier Vergamini
Affiliations:
-;-;-;-
Venue:
Proceedings of the International Workshop on Automatic Verification Methods for Finite State Systems
Year:
1989

On Verifying Distributed Multithreaded Java Programs

Software Quality Control
Formal Modelling of Java GUI Event Handling

ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
``Next'' Heuristic for On-the-Fly Model Checking

CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
From process algebra to visual language

CRPIT '02 Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12
SOS formats and meta-theory: 20 years after

Theoretical Computer Science
Refjav: tool for automated verification by generating CCS of multithreaded Java system in distributed environment

ACAI '11 Proceedings of the International Conference on Advances in Computing and Artificial Intelligence
Transforming SOS specifications to linear processes

FMICS'11 Proceedings of the 16th international conference on Formal methods for industrial critical systems

Hi-index	0.02