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 .

View online : AVoCS 2019 Web Site

Contact | Site Map | Site powered by SPIP 4.2.13 + AHUNTSIC [CC License]

info visites 4001667