Now showing items 1-1 of 1

    • Push-Button Verification of Systems Software 

      Sigurbjarnarson, Helgi Kristvin
      Systems software interfaces with hardware, multiplexes resources, and provides common abstractions for modern applications to build on. The correctness and reliability of these systems are critical for the applications ...