Search Results - "Computer systems--Verification"

Modeling in Event-B : System and Software Engineering

Authors: Jean-Raymond Abrial

Resource Type: eBook.

Subjects: Computer science--Mathematical models, Computer systems--Verification, Formal methods (Computer science), B method (Computer science)

Categories: COMPUTERS / Data Science / General, COMPUTERS / Computer Literacy, COMPUTERS / Computer Science, COMPUTERS / Information Technology, COMPUTERS / Machine Theory, COMPUTERS / Reference, COMPUTERS / Hardware / General

Model Checking

Authors: Edmund M. Clarke Jr Orna Grumberg Doron Peleg

Resource Type: eBook.

Subjects: Computer systems--Verification

Categories: COMPUTERS / Computer Science

Towards High-Performance, Low-Overhead Integrity Authentication for Secure-Memory in Embedded and Heterogeneous Computing Platforms

Authors: Shadab, Rakin Muhammad

Committee Members: Lin, Mingjie

URL: https://stars.library.ucf.edu/etd2024/223

Symbolic techniques for parameterised verification

Authors: Hong, Chih-Duo

Committee Members: Ong, Luke; Lin, Anthony

URL: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.864839

Quantifiability: Concurrent Correctness from First Principles

Authors: Cook, Victor

Committee Members: Dechev, Damian

URL: https://stars.library.ucf.edu/etd2020/842

A Secure and Verifiable Computation for k-Nearest Neighbor Queries in Cloud

Authors: Bokhary, Salma Yahya

URL: https://digitalcommons.montclair.edu/etd/687

Verifying concurrent systems by approximation

Authors: Antonino, Pedro Ribeiro Gonçalves

Committee Members: Roscoe, Bill

URL: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.770542

A symbolic execution framework for algorithm-level modelling and verification of computer microarchitecture

Authors: Hanna, Ziyad

Committee Members: Melham, Tom

URL: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.560923

Mechanical verification of reactive systems

Authors: Manolios, Panagiotis

Committee Members: Moore, J Strother, 1947-

URL: http://hdl.handle.net/2152/11335