Search Results - "Computer programs--Verification"

Software Verification And Validation For Practitioners And Managers, Second Edition

Authors: Rakitin, Steven R.

Resource Type: eBook.

Subjects: Computer software--Validation, Computer software--Verification, Computer programs--Verification, Computer programs--Validation

Categories: COMPUTERS / Software Development & Engineering / Quality Assurance & Testing

Static Analysis of the Build System to Accelerate Continuous Testing of Highly Configurable Software

Authors: Yildiran, Necip Fazil

Committee Members: Gazzillo, Paul

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

Translations to Support Loop Invariant Generation in JML

Authors: Koja, Kohei

Committee Members: Leavens, Gary

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

On the role of explainability and uncertainty in ensuring safety of AI applications

Authors: Falconmore, Rhiannon

Committee Members: Kwiatkowska, Marta

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

Test Overfitting in Automated Program Repair: Measurements and Approaches Using Formal Methods

Authors: Nilizadeh, Amirfarhad

Committee Members: Leavens, Gary

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

Improving Software Quality through Syntax and Semantics Verification of Requirements Models

Authors: Gaither, Danielle

Committee Members: Bryant, Barrett R.; Do, Hyunsook; Bryce, Renee; Gray, Jeff

URL: https://digital.library.unt.edu/ark:/67531/metadc1404542/

Structured arrows : a type-based framework for structured parallelism

Authors: Castro, David

Committee Members: Hammond, Kevin

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

Thermal verification of programs

Authors: Koskinen, Eric John

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

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

Modelling and verification of web services protocols

Authors: Ramsokul, Pemadeep Kumar

URL: https://unsworks.unsw.edu.au/bitstreams/2200253b-f5d2-48a7-b9a7-fbb0ff04ef1b/download

Formal verification of computer controlled systems

Authors: Harutunian, Shant

Committee Members: Hunt, Warren A., 1958-

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

The Omnibus language and integrated verification approach

Authors: Wilson, Thomas

Committee Members: Maharaj, Savi; Clark, Robert George

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

Model checking data-independent systems with arrays

Authors: Newcomb, Tom C.

Committee Members: Roscoe, A. W.

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

Symbolic model checking techniques for BDD-based planning in distributed environments

Authors: Goel, Anuj, 1973-

Committee Members: Barber, Kathleen S.

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

View-centric Reasoning About Parallel and Distributed Computation

Authors: Smith, Marc L.

Committee Members: Parsons, Rebecca; Hughes, Charles E.; University of Central Florida. College of Engineering [VIAF] University of Central Florida. College of Engineering [LC]

URL: https://stars.library.ucf.edu/rtd/1986

Verifying temporal properties of systems with applications to petri nets

Authors: Bradfield, Julian Charles

Committee Members: Stirling, Colin

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