Formal Methods: Industrial Use from Model to the Code by Jean-Louis Boulanger
English | 2012 | ISBN-10: 184821362X | 384 pages | PDF | 9,7 MB
Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques enable us to analyze the behavior of a software application, described in a programming language.