Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 14368)
Included in the following conference series:
- VECoS: International Conference on Verification and Evaluation of Computer and Communication Systems
Conference proceedings info: VECoS 2023.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
The topics presented covered a range of subjects, including approaches to improving the scalability and efficiency of formal verification and their applications to blockchain, smart contracts and neural networks.
Similar content being viewed by others
Keywords
- architecting
- architecture verification and validation
- artificial intelligence
- computer hardware
- computer programming
- computer science
- computer systems
- distributed computer systems
- embedded systems
- engineering
- Field Programmable Gate Array (FPGA)
- formal languages
- formal logic
- formal methods
- internet
- programming languages
- signal processing
- software architecture
- software design
- software engineering
Table of contents (12 papers)
Other volumes
-
Verification and Evaluation of Computer and Communication Systems
Editors and Affiliations
Bibliographic Information
Book Title: Verification and Evaluation of Computer and Communication Systems
Book Subtitle: 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18–20, 2023, Proceedings
Editors: Belgacem Ben Hedia, Yassine Maleh, Moez Krichen
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-031-49737-7
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2024
Softcover ISBN: 978-3-031-49736-0Published: 19 December 2023
eBook ISBN: 978-3-031-49737-7Published: 18 December 2023
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XVIII, 179
Number of Illustrations: 16 b/w illustrations, 35 illustrations in colour
Topics: Computer Systems Organization and Communication Networks, Artificial Intelligence, Computer Communication Networks