Automated technology for verification and analysis : 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-21, 2021, proceedings

Automated technology for verification and analysis : 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-21, 2021, proceedings / Zhe Hou, Vijay Ganesh (eds.).

This book constitutes the refereed proceedings of the 19th International Symposium on Automated Technology for Verification and Analysis, ATVA 2021, held in Gold Coast, Australia in October 2021. The symposium is dedicated to promoting research in theoretical and practical aspects of automated analy...

Full description

Saved in:

Bibliographic Details
Corporate Author:	ATVA (Symposium) Online)
Other Authors:	Hou, Zhe (Lecturer) (Editor), Ganesh, Vijay (Editor)
Format:	eBook
Language:	English
Published:	Cham, Switzerland : Springer, 2021.
Series:	Lecture notes in computer science ; 12971. LNCS sublibrary. Programming and software engineering.
Subjects:	Automatic theorem proving > Congresses. Artificial intelligence > Congresses. Artificial intelligence Automatic theorem proving proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès.
Online Access:	Click for online access

Similar Items

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

Automated technology for verification and analysis : 20th International Symposium, ATVA 2022, Beijing, China, October 25-28, 2022, proceedings
Published: (2022)

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

Automated reasoning with analytic tableaux and related methods : 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
Published: (2023)

Automated reasoning with analytic tableaux and related methods : 30th international conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021 : proceedings
Published: (2021)

Automated theorem proving : after 25 years
Published: (1984)

Automated reasoning : 33 basic research problems
by: Wos, Larry
Published: (1988)

Automated reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings
Published: (2022)

Automated theorem proving : after 25 years
Published: (1984)

Automated deduction -- CADE 28 : 28th International Conference on Automated Deduction, virtual event, July 12-15, 2021, Proceedings
Published: (2021)

Automated deduction -- CADE 29 : 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Published: (2023)

Geometric reasoning
Published: (1989)

Automated technology for verification and analysis : 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings
Published: (2020)

Exploring formalisation : a primer in human-readable mathematics in Lean 3 with examples from simplicial topology
by: Löh, Clara
Published: (2022)

Mechanical theorem proving in geometries : basic principles
by: Wu, Wen-tsün
Published: (1994)

Proof technology and computation
Published: (2006)

Formal analysis of future energy systems using interactive theorem proving
by: Ahmed, Asad, et al.
Published: (2022)

Certified programming with dependent types : a pragmatic introduction to the Coq proof assistant
by: Chlipala, Adam, 1981-
Published: (2013)

First-Order Logic and Automated Theorem Proving
by: Fitting, Melvin
Published: (1996)

Automated reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings. Part I
Published: (2020)

Automated reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings. Part II
Published: (2020)

Communication complexity : a new approach to circuit depth
by: Karchmer, Mauricio
Published: (1989)

Automation 2022 : new solutions and technologies for automation, robotics and measurement techniques
Published: (2022)

An engineer's guide to automated testing of high-speed interfaces
by: Moreira, José, 1975-, et al.
Published: (2016)

Automation 2021 : recent achievements in automation, robotics and measurement techniques
Published: (2021)

Automation 2020 : towards industry of the future : proceedings of Automation 2020, March 18-20, 2020, Warsaw, Poland
Published: (2020)

Informatics in control, automation and robotics : 16th International Conference, ICINCO 2019, Prague, Czech Republic, July 29-31, 2019 : revised selected papers
Published: (2021)

Artificial Intelligence Resources in Control and Automation Engineering.
by: González, Evelio J.
Published: (2012)

Inventive systems and control : Proceedings of ICISC 2023
Published: (2023)

Proceedings of International Scientific Conference on Telecommunications, Computing and Control : TELECCON 2019
Published: (2021)

Automation 2023 : key challenges in automation, robotics and measurement techniques
Published: (2023)

Proceedings of 2021 Chinese Intelligent Systems Conference. Volume I
Published: (2022)

Proceedings of 2021 Chinese Intelligent Systems Conference. Volume III
Published: (2022)

Proceedings of 2021 Chinese Intelligent Systems Conference. Volume II
Published: (2022)

Inventive systems and control : proceedings of ICISC 2021
Published: (2021)

Technological transformation : a new role for human, machines and management : TT-2020
Published: (2021)

Intelligent communication, control and devices : proceedings of ICICCD 2018
Published: (2020)

Automatic Assessment of Parkinsonian Speech : First Workshop, AAPS 2019, Cambridge, Massachussets, USA, September 20-21, 2019, revised selected papers
Published: (2020)

Proceedings of 2020 Chinese Intelligent Systems Conference. Volume II
Published: (2021)

Advanced optimal control and applications involving critic intelligence
by: Wang, Ding, et al.
Published: (2023)