logo
embedded; real-time

Conference Results (1)

International Symposium on Automated Technology for Verification and Analysis (ATVA)

Rank: BSpringer LNCS; 18 pages (regular), up to 18 pages (tool papers); double-blind (regular), single-blind (tool)
Venue TBD
Dec 1, 2026
Modeling and specification; finite-stateinfinite-state and parameterized systems; program analysis and software verification; hardwareSoC+10 more