Type	Name	Date	Provided By
eBooks	Tools for Design, Implementation and Verification of Emerging Informat	23-04-2024	ebooks1001
eBooks	Heterogeneous SoC Design and Verification	23-04-2024	ebooks1001
eBooks	Formal Verification of Object-Oriented Software	04-04-2024	ebooks1001
eBooks	The e Hardware Verification Language	21-03-2024	ebooks1001
Windows Apps	Altair SimSolid 2023.1 with Tutorials & Verification Models (x64)	04-02-2024	Best Release
eBooks	Advanced Verification Techniques A SystemC Based Approach for Successf	02-02-2024	ebooks1001
eBooks	Cryptographic Security Architecture Design and Verification	30-01-2024	ebooks1001
eBooks	Leveraging Applications of Formal Methods, Verification and Validation	26-01-2024	ebooks1001
eBooks	Concise Guide to Software Verification From Model Checking to Annotati	17-01-2024	ebooks1001
eBooks	Open Source Software Quality Verification	16-01-2024	ebooks1001
eBooks	Embedded Systems Design, Analysis and Verification	15-01-2024	ebooks1001
eBooks	Biometrics Advanced Identity Verification The Complete Guide	10-01-2024	ebooks1001
eBooks	Runtime Verification 23rd International Conference, RV 2023, Thessalon	05-01-2024	ebooks1001
eBooks	Java and the Java Virtual Machine Definition, Verification, Validation	01-01-2024	ebooks1001
eBooks	SAE International’s Dictionary of Testing, Verification, and Val	28-12-2023	ebooks1001
Windows Apps	Altair SimSolid 2023.0 with Tutorials & Verification Models (x64)	12-12-2023	Best Release
eBooks	Writing Testbenches Functional Verification of HDL Models	28-09-2023	Best Release
eBooks	Handbook of Formal Analysis and Verification in Cryptography	17-08-2023	Best Release
eBooks	Evaluation of Some SMTP Testing, Email Verification, Header Analysis,	16-08-2023	Best Release
eBooks	Concise Guide to Software Verification	25-07-2023	Best Release