Sökning: "Yassine Lakhnech"

Hittade 1 avhandling innehållade orden Yassine Lakhnech.

1. 1. New Directions in Symbolic Model Checking

   Författare :Julien d'Orso; Parosh Abulla; Yassine Lakhnech; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Informatics; computer and systems science; Informatik; data- och systemvetenskap; Informatics; computer and systems science; Informatik; data- och systemvetenskap;

   Sammanfattning : In today's computer engineering, requirements for generally high reliability have pushed the notion of testing to its limits. Many disciplines are moving, or have already moved, to more formal methods to ensure correctness. This is done by comparing the behavior of the system as it is implemented against a set of requirements. LÄS MER