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

ATVA 2017 is the 15th in a series of symposia aimed at bringing together academics, industrial researchers and practitioners in the area of theoretical and practical aspects of automated analysis, synthesis, and verification of hardware and software systems. ATVA solicits high quality submissions in the following suggestive list of topics:

• Formalisms for modeling hardware, software and embedded systems
• Specification and verification of finite-state, infinite-state and parameterized system
• Program analysis and software verification
• Analysis and verification of hardware circuits, systems-on-chip and embedded systems
• Analysis of real-time, hybrid, priced, weighted and probabilistic systems
• Deductive, algorithmic, compositional, and abstraction/refinement techniques for analysis and verification
• Analytical techniques for safety, security, and dependability
• Testing and runtime analysis based on verification technology
• Analysis and verification of parallel and concurrent systems
• Verification in industrial practice
• Synthesis for hardware and software systems
• Applications and case studies
• Automated tool support