Related Books
Language: en
Pages: 0
Pages: 0
Type: BOOK - Published: 2024-05-20 - Publisher: Springer
Frama-C is a popular open-source toolset for analysis and verification of C programs, largely used for teaching, experimental research, and industrial applicati
Language: en
Pages: 708
Pages: 708
Type: BOOK - Published: - Publisher: Springer Nature
Language: en
Pages: 251
Pages: 251
Type: BOOK - Published: 2023-07-24 - Publisher: Springer Nature
This textbook overviews the whole spectrum of formal methods and techniques that are aimed at verifying correctness of software, and how they can be used in pra
Language: en
Pages: 405
Pages: 405
Type: BOOK - Published: 2022-10-12 - Publisher: TU Wien Academic Press
The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and syste
Language: en
Pages: 287
Pages: 287
Type: BOOK - Published: 2024-01-28 - Publisher: Springer Nature
With the recent debacle of cryptocurrency exchange FTX and the crypto trading company Alameda Research, the importance of comprehending the security and regulat