Computer Aided Verification

Discover the cutting-edge research in Computer Aided Verification, authored by Isil Dillig and published by Springer Nature Switzerland AG in 2019. This comprehensive two-volume set, comprising 549 pages, features the refereed proceedings from the prestigious 31st International Conference on Computer Aided Verification (CAV 2019), held in New York City in July 2019.

The collection is meticulously organized into topical sections, with Part I focusing on automata and timed systems, providing invaluable insights for researchers and practitioners in the field. Dive into the latest advancements and methodologies that are shaping the future of computer-aided verification. This essential resource is perfect for anyone looking to deepen their understanding and expertise in this rapidly evolving discipline.