Computer Aided Verification / Shuvendu K. Lahiri  

Public ISBD Titre : Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I Type de document : document électronique Auteurs : Shuvendu K. Lahiri, Auteur ; Chao Wang, Auteur Editeur : Berlin [Germany] : Springer Nature Limited Année de publication : 2020 Importance : 669 p. Présentation : ill. ISBN/ISSN/EAN : 978-3-030-53288-8 Langues : Anglais (eng) Catégories : Open Access Publications Tags : artificial intelligence  computer hardware  computer networks  computer programming  computer systems  data security  network protocols  parallel processing systems signal processing  software architecture Index. décimale : 005.1 Programmation Résumé : 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 carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections:-Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems.-Part II: model checking; software verification; stochastic systems; and synthesis. En ligne : https://doi.org/10.1007/978-3-030-53288-8 Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I [document électronique] / Shuvendu K. Lahiri, Auteur ; Chao Wang, Auteur . - Berlin (Germany) : Springer Nature Limited, 2020 . - 669 p. : ill. ISBN : 978-3-030-53288-8 Langues : Anglais (eng) Catégories : Open Access Publications Tags : artificial intelligence  computer hardware  computer networks  computer programming  computer systems  data security  network protocols  parallel processing systems signal processing  software architecture Index. décimale : 005.1 Programmation Résumé : 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 carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections:-Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems.-Part II: model checking; software verification; stochastic systems; and synthesis. En ligne : https://doi.org/10.1007/978-3-030-53288-8

Réservation

Réserver ce document

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
9783030532888	005.1 LAH	E-Book	En Ligne	Informatique, Savoir & systèmes	Disponible

---

1 (1 - 1 / 1)