Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I
Material type: TextLanguage: English Series: Publication details: Cham Springer Nature 2023Description: 1 electronic resource (488 p.)Content type:- text
- computer
- online resource
- 978-3-031-37706-8
- 9783031377051
- 9783031377068
- Algorithms & data structures
- Artificial intelligence
- Computer networking & communications
- Software Engineering
- architecture verification and validation
- artificial intelligence
- computer programming
- distributed computer systems
- distributed systems
- formal logic
- model checking
- programming languages
- software engineering
- software quality
- theory of computation
Item type | Home library | Collection | Call number | Materials specified | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|---|
Electronic-Books | OPJGU Sonepat- Campus | E-Books Open Access | Available |
Open Access Unrestricted online access star
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.
Creative Commons by/4.0/ cc
http://creativecommons.org/licenses/by/4.0/
English
There are no comments on this title.