"Formal Verification"

4 uitgaven gevonden

Populaire rubrieken

Management, psychologie & wetenschap

• Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles   Engelstalig Paperback 9783031198489 Oktober 2022 598 pagina's This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022,... Vanaf 94,00 Bekijk exemplaren
• Formal Verification of Concurrent Embedded Software Johannes Frederik Jesper Traub Engelstalig Paperback 9783739241241 Mei 2016 156 pagina's Automotive software is mainly concerned with safety critical systems and the functional correctness of the software is very important. Thus static software analysis, being able to detect... Vanaf 27,99 Bekijk exemplaren
• Formal Verification of Just-in-Time Compilation Aurèle Barrière Engelstalig Hardback 9798400713774 Januari 2025 176 pagina's Explore a methodology to design formally verified Just-in-Time compilers that merge rapid program execution with strict correctness. Navigate challenges from dynamic, speculative, and... Vanaf 74,99 Bekijk exemplaren
• Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification   Engelstalig Paperback 9783031753794 Oktober 2024 406 pagina's The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took... Vanaf 84,95 Bekijk exemplaren