Computer Aided Verification ; 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Publication year: 2019
: 978-3-030-25540-4
This volume presented automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical systems and machine learning; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems.
: Computer Science / Programming Languages, Compilers, Interpreters / Theory of Computation / Simulation and Modeling / Computer Systems Organization and Communication Networks / artificial intelligence / authentication / data security / formal logic / formal methods / model checker / model checking / reactive system / robots / software engineering / software evaluation / specifications / temporal logic / timed automata / verification
