Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 13036)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Included in the following conference series:
Conference proceedings info: ISoLA 2021.
Buy print copy
About this book
This book constitutes contributions of the ISoLA 2021 associated events. Altogether, ISoLA 2021 comprises contributions from the proceedings originally foreseen for ISoLA 2020 collected in 4 volumes, LNCS 12476: Verification Principles, LNCS 12477: Engineering Principles, LNCS 12478: Applications, and LNCS 12479: Tools and Trends.
The contributions included in this volume were organized in the following topical sections: 6th International School on Tool-Based Rigorous Engineering of Software Systems; Industrial Track; Programming: What is Next; Software Verification Tools; Rigorous Engineering of Collective Adaptive Systems.
Similar content being viewed by others
Keywords
- artificial intelligence
- automation
- computer programming
- computer systems
- databases
- distributed computer systems
- embedded systems
- formal logic
- formal methods
- knowledge-based system
- object-oriented programming
- program compilers
- programming languages
- semantics
- signal processing
- software architecture
- software design
- software engineering
- verification
- verification and validation
Table of contents (29 papers)
-
Front Matter
-
6th International School on Tool-Based Rigorous Engineering of Software Systems
-
Front Matter
-
-
Industrial Track
-
Front Matter
-
-
Programming: What is Next
-
Front Matter
-
Other volumes
-
Leveraging Applications of Formal Methods, Verification and Validation
Editors and Affiliations
Bibliographic Information
Book Title: Leveraging Applications of Formal Methods, Verification and Validation
Book Subtitle: 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Proceedings
Editors: Tiziana Margaria, Bernhard Steffen
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-030-89159-6
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2021
Softcover ISBN: 978-3-030-89158-9Published: 12 October 2021
eBook ISBN: 978-3-030-89159-6Published: 11 October 2021
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XII, 504
Number of Illustrations: 53 b/w illustrations, 71 illustrations in colour
Topics: Software Engineering/Programming and Operating Systems, Artificial Intelligence, Programming Techniques, Programming Languages, Compilers, Interpreters, Computer Applications