Automated technology for verification and analysis : 21st international symposium, ATVA 2023, Singapore, October 24-27, 2023, proceedings. Part II

Automated technology for verification and analysis : Part II / 21st international symposium, ATVA 2023, Singapore, October 24-27, 2023, proceedings. Étienne André, Jun Sun, editors.

This book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in October 2023. The symposium intends to promote research in theoretical and practical aspects of automated analysis, verification...

Full description

Saved in:
Bibliographic Details
Corporate Author: ATVA (Symposium) Singapore)
Other Authors: André, Etienne (Editor), Sun, Jun (Professor of Information Systems) (Editor)
Format: eBook
Language:English
Published: Cham : Springer, [2023]
Series:Lecture notes in computer science ; 14216.
Subjects:
Automatic theorem proving > Congresses.
Artificial intelligence.
artificial intelligence.
computers.
Automatic theorem proving
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Online Access:Click for online access
Table of Contents:
  • Temporal logics
  • Data structures and heuristics
  • Verification of programs and hardware
  • Tool papers.

Similar Items