Book Details

Computer Aided Verification ; 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

Publication year: 2019

ISBN: 978-3-030-25543-5

Internet Resource: Please Login to download book


The volume cover logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; verification and invariants; and concurrency.


Subject: Computer Science, Software Engineering, Logics and Meanings of Programs, distributed computer systems, distributed systems, formal logic, formal methods, model checking, programming languages, satisfiability, semantics, Mathematical Logic and Formal Languages, software evaluation, testing and runtime verification, verification, System Performance and Evaluation, The Computing Profession, Logic in AI