What is this? This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.

Automated Technology for Verification and Analysis (ATVA)

A conference, workshop or journal: the thing that recurs, across all its years.

A conference on automated verification with an Asian base, covering model checking, synthesis, automata-theoretic methods and the analysis of hybrid and probabilistic systems. Each edition has its own site rather than a permanent one.