Publisher: Springer; 1st ed. 2015 edition (December 30, 2015)
Format: PDF / Kindle / ePub
Size: 8.6 MB
Downloadable formats: PDF
This publication constitutes the court cases of the thirteenth foreign Symposium on automatic expertise for Verification and research, ATVA 2015, held in Shanghai, China, in October 2015. The 27 revised papers provided including 6 software papers during this quantity have been rigorously reviewed and chosen from ninety five submissions. They exhibit present study on theoretical and sensible features of automatic research, verification and synthesis by way of offering a world discussion board for interplay one of the researchers in academia and undefined.
Read Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... Lectures (Lecture Notes in Computer Science) quotes