Search Results - "Computer software--Verification"

Software Safety and Security : Tools for Analysis and Verification

Authors: Tobias Nipkow Orna Grumberg

Resource Type: eBook.

Subjects: Computer security--Congresses, Computer software--Verification--Congresses

Categories: COMPUTERS / Security / General

Metamodeling-Driven IP Reuse for SoC Integration and Microprocessor Design

Authors: Mathaikutty, Deepak A. Shukla, Sandeep

Resource Type: eBook.

Subjects: Microprocessors--Design and construction, Intellectual property, System design, Computer software--Reusability, Computer software--Verification, Systems on a chip--Design and construction

Categories: COMPUTERS / Logic Design, TECHNOLOGY & ENGINEERING / Electronics / Circuits / Logic, TECHNOLOGY & ENGINEERING / Electronics / Circuits / VLSI & ULSI

Co-verification of Hardware and Software for ARM SoC Design

Authors: Jason Andrews

Resource Type: eBook.

Subjects: Integrated circuits--Verification, Computer software--Verification, Systems on a chip

Categories: TECHNOLOGY & ENGINEERING / Electrical, TECHNOLOGY & ENGINEERING / Electronics / Microelectronics

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

Efficient Neural Network Verification Using Branch and Bound

Authors: Wang, Shiqi

URL: https://doi.org/10.7916/1d0q-xf08

Translations to Support Loop Invariant Generation in JML

Authors: Koja, Kohei

Committee Members: Leavens, Gary

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

Improving scalability of exploratory model checking

Authors: Boulgakov, Alexandre

Committee Members: Roscoe, A. W.

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

Concurrent verification for sequential programs

Authors: Wickerson, John Peter

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

A dynamic verification platform for BPEL environments

Authors: Li, Qin

URL: https://era.library.ualberta.ca/items/3f9e766d-4bd7-4087-b6b0-b68660d228a3/view/ee1ba018-7e07-4d75-af98-0000cdedf5e0/MR33296.pdf

Formal symbolic verification using heuristic search and abstraction techniques

Authors: Qian, Kairong

URL: https://unsworks.unsw.edu.au/bitstreams/300dc442-8c7c-421e-a3bd-2ecde5fe9fc8/download

Towards verification of human performance models through formal methods

Authors: Enciso, Lauro

Committee Members: Gonzalez, Avelino J.

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

Challenges and opportunities for verification and validation of military simulation systems

Authors: Patton, Robert M.

Committee Members: Walton, Gwendolyn H.

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

A structural learning theory approach to problem solving: An investigation in software maintenance

Authors: Sharpe, Robert Shane

Committee Members: Futoran, Gail C.; Kasper, George M.; Wilcox, James B.; Yadav, Surya B.

URL: http://hdl.handle.net/2346/60693

Interactive program verification using virtual programs

Authors: Topor, Rodney W.

Committee Members: Burstall, Rod

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