The purpose of the symposium series is to promote research on automated verification and analysis in East Asia by providing a forum for interaction between the regional and the international research/industrial communities of the field. <b>Keywords:</b> algorithmic (including model–checking) methods, deductive (including theorem–proving) methods, combined methods, abstraction and reduction techniques, compositional/modular and game–theoretical approaches, decidability and complexity, optimization and performance analysis, in finite–state and parameterized systems, real–time, embedded, and hybrid systems, hardware/software synthesis and verification, network and security protocols analysis, established formalisms–––Petri–nets, process algebras, temporal logics, etc., industrial standards–––VHDL, Verilog, UML, etc. tool supports, and case studies.
Abbrevation
ATVA
City
Taipei
Country
China
Deadline Paper
Start Date
End Date
Abstract