Sökning: "Einar Johnsen"
Hittade 1 avhandling innehållade orden Einar Johnsen.
1. Automatic Extraction of Program Models for Formal Software Verification
Sammanfattning : In this thesis we present a study of the generation of abstract program models from programs in real-world programming languages that are employed in the formal verification of software. The thesis is divided into three parts, which cover distinct types of software systems, programming languages, verification scenarios, program models and properties. LÄS MER
Resultatsidor:
1