Advanced search

Found 1 essay matching the above criteria.

1. 1. Automatic Verification of Embedded Systems Using Horn Clause Solvers

   University essay from Uppsala universitet/Institutionen för informationsteknologi

   Author : Anoud Alshnakat; [2019]
   Keywords : ;

   Abstract : 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. READ MORE