Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I - Majumdar, Rupak; Kunčak, Viktor; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2017)
Data Driven Techniques -- Runtime Verication -- Cyber-Physical Systems -- Concurrency -- Analysis of Software and Hardware -- Foundations of Verification -- Distributed and Networked Systems -- Synthesis -- Decision Procedures and their Applications -- Software Analysis.
Keywords: Computer logic; Software engineering; Computer simulation; Computers; Computer system failures; Artificial intelligence; Logics and Meanings of Programs; Software Engineering; Simulation and Modeling; The Computing Profession; System Performance and Evaluation; Artificial Intelligence