Главная Jean-Louis Boulanger

Автор: Jean-Louis Boulanger

Industrial Use of Formal Methods. Formal Verification.

Industrial Use of Formal Methods. Formal Verification

Formal Methods. Industrial Use from Model to the Code.

Formal Methods. Industrial Use from Model to the Code

Static Analysis of Software. The Abstract Interpretation.

Static Analysis of Software. The Abstract Interpretation

Safety of Computer Architectures.

Safety of Computer Architectures