Computer-Aided Verification '90

Scalable Techniques for Formal Verification

Lecture Notes in Computer Science Runtime Verification: 25th International Conference RV 2025 Graz Austria September 15-19 2025 Proceedings Book 16087 (Paperback)

Lectures on Runtime Verification: Introductory and Advanced Topics (Paperback)

Pre-Owned Verification and Evaluation of Computer and Communication Systems: 11th International Conference Vecos 2017 Montreal Qc Canada August 24-25 2017 Proceedings (Paperback)

Lecture Notes in Computer Science Software Engineering and Formal Methods. Sefm 2022 Collocated Workshops: Ai4ea F-Ide Cosim-Cps Cifma Berlin Germany Book 13765 (Paperback)

Lecture Notes in Computer Science Runtime Verification: 24th International Conference RV 2024 Istanbul Turkey October 15-17 2024 Proceedings Book 15191 (Paperback)

Lecture Notes in Computer Science Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods ICFEM 2004 Seattle Book 3308 (Paperback)

Formal Verification of Just-in-Time Compilation

Lecture Notes in Computer Science Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th International Workshop Fomlas 2022 and Book 13466 (Paperback)

Lecture Notes in Computer Science Automated Technology for Verification and Analysis: 23rd International Symposium Atva 2025 Bengaluru India October 2 Book 16145 (Paperback)

Formal Methods and Software Engineering - (Lecture Notes in Computer Science) by Jin Song Dong & Jim Woodcock (Paperback)

Pre-Owned Tools for Practical Software Verification: International Summer School Laser 2011 Elba Island Italy Revised Tutorial Lectures (Paperback)