Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I /

Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I /

Detalles Bibliográficos
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Majumdar, Rupak. (Editor ), Kunčak, Viktor. (Editor )
Formato: eBook
Lenguaje:English
Publicado: Cham : Springer International Publishing : Imprint: Springer, 2017.
Edición:1st ed. 2017.
Colección:Theoretical Computer Science and General Issues ; 10426
Materias:
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.
Tabla de Contenidos:
  • 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.

Ejemplares similares