AVoCS 2019

30 September - 1 October 2019

19th International Workshop on Automated Verification of Critical Systems

The aim of the AVoCS workshop series is to contribute to the interaction and exchange of ideas among members of the international research community on tools and techniques for the verification of critical systems. In particular, AVoCS 2019 aims to bring together scientists and engineers that are active in the area of formal methods, develop tools and techniques for the automated verification of critical systems, and are interested in exchanging their experiences in the industrial usage of these methods and tools.

For further details, view online the workshop web site and the call for papers .

Voir en ligne : AVoCS 2019 Web Site

Contact | Plan du site | Site réalisé avec SPIP 3.1.13 + AHUNTSIC [CC License]

info visites 1696528