Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I

Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I

Mostrar otras versiones (1)

The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were care...

Descripción completa

Detalles Bibliográficos
Otros Autores: Lahiri, Shuvendu K. (Editor ), Lahiri, Shuvendu K. editor (editor), Wang, Chao. editor
Formato: Libro electrónico
Idioma:Inglés
Publicado: Cham : Springer International Publishing 2020.
Edición:1st ed. 2020.
Colección:Theoretical Computer Science and General Issues, 12224
Materias:
Software engineering.
Computer science.
Computer engineering.
Computer networks.
Artificial intelligence.
Computers.
Software Engineering.
Theory of Computation.
Computer Engineering and Networks.
Artificial Intelligence.
Computer Communication Networks.
Computer Hardware.
Ver en Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009428408106719
Tabla de Contenidos:
  • AI Verification
  • Blockchain and Security
  • Hardware Veri cation and Decision Procedures
  • Hybrid and Dynamic Systems.

Ejemplares similares