Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part II

Constantin Enea · Akash Lal

iul. 2023 · Springer Nature

Carte electronică

460

Pagini

Evaluările și recenziile nu sunt verificate Află mai multe

Despre această carte electronică

The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023.

The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows:

Part I: Automata and logic; concurrency; cyber-physical and hybrid systems; synthesis;

Part II: Decision procedures; model checking; neural networks and machine learning;

Part II: Probabilistic systems; security and quantum systems; software verification.

Evaluează cartea electronică

Spune-ne ce crezi.

Informații despre lectură

Smartphone-uri și tablete

Instalează aplicația Cărți Google Play pentru Android și iPad/iPhone. Se sincronizează automat cu contul tău și poți să citești online sau offline de oriunde te afli.

Laptopuri și computere

Poți să asculți cărțile audio achiziționate pe Google Play folosind browserul web al computerului.

Dispozitive eReader și alte dispozitive

Ca să citești pe dispozitive pentru citit cărți electronice, cum ar fi eReaderul Kobo, trebuie să descarci un fișier și să îl transferi pe dispozitiv. Urmează instrucțiunile detaliate din Centrul de ajutor pentru a transfera fișiere pe dispozitivele eReader compatibile.

Raportează conținut ilegal