Sökning: "Anoud Alshnakat"
Hittade 1 uppsats innehållade orden Anoud Alshnakat.
1. Automatic Verification of Embedded Systems Using Horn Clause Solvers
Master-uppsats, Uppsala universitet/Institutionen för informationsteknologiSammanfattning : Recently, an increase in the use of safety-critical embedded systems in the automotive industry has led to a drastic up-tick in vehicle software and code complexity. Failure in safety-critical applications can cost lives and money. LÄS MER
Resultatsidor:
1