Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for subject:(Computer software Verification). Showing records 1 – 30 of 134 total matches.

[1] [2] [3] [4] [5]

Search Limiters

Last 2 Years | English Only

Universities

Degrees

Levels

Country

▼ Search Limiters


Stellenbosch University

1. Rajaona, Solofomampionona Fortunat. An algebraic framework for reasoning about security.

Degree: MSc, Mathematical Sciences, 2013, Stellenbosch University

ENGLISH ABSTRACT: Stepwise development of a program using refinement ensures that the program correctly implements its requirements. The specification of a system is “refined” incrementally… (more)

Subjects/Keywords: Mathematics; Computer software  – Development; Computer software  – Verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Rajaona, S. F. (2013). An algebraic framework for reasoning about security. (Masters Thesis). Stellenbosch University. Retrieved from http://hdl.handle.net/10019/9983

Chicago Manual of Style (16th Edition):

Rajaona, Solofomampionona Fortunat. “An algebraic framework for reasoning about security.” 2013. Masters Thesis, Stellenbosch University. Accessed June 06, 2020. http://hdl.handle.net/10019/9983.

MLA Handbook (7th Edition):

Rajaona, Solofomampionona Fortunat. “An algebraic framework for reasoning about security.” 2013. Web. 06 Jun 2020.

Vancouver:

Rajaona SF. An algebraic framework for reasoning about security. [Internet] [Masters thesis]. Stellenbosch University; 2013. [cited 2020 Jun 06]. Available from: http://hdl.handle.net/10019/9983.

Council of Science Editors:

Rajaona SF. An algebraic framework for reasoning about security. [Masters Thesis]. Stellenbosch University; 2013. Available from: http://hdl.handle.net/10019/9983


University of Oxford

2. Kesseli, Pascal. Semantic refactorings.

Degree: PhD, 2017, University of Oxford

 Refactorings are structured changes to existing software that leave its externally observable behaviour unchanged. The intent is to improve readability, performance or other non-behavioural properties… (more)

Subjects/Keywords: Computer science; software synthesis; software verification; refactoring

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Kesseli, P. (2017). Semantic refactorings. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:0c74954e-dc83-463f-bcd4-519d98c3dcca ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.748687

Chicago Manual of Style (16th Edition):

Kesseli, Pascal. “Semantic refactorings.” 2017. Doctoral Dissertation, University of Oxford. Accessed June 06, 2020. http://ora.ox.ac.uk/objects/uuid:0c74954e-dc83-463f-bcd4-519d98c3dcca ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.748687.

MLA Handbook (7th Edition):

Kesseli, Pascal. “Semantic refactorings.” 2017. Web. 06 Jun 2020.

Vancouver:

Kesseli P. Semantic refactorings. [Internet] [Doctoral dissertation]. University of Oxford; 2017. [cited 2020 Jun 06]. Available from: http://ora.ox.ac.uk/objects/uuid:0c74954e-dc83-463f-bcd4-519d98c3dcca ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.748687.

Council of Science Editors:

Kesseli P. Semantic refactorings. [Doctoral Dissertation]. University of Oxford; 2017. Available from: http://ora.ox.ac.uk/objects/uuid:0c74954e-dc83-463f-bcd4-519d98c3dcca ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.748687


Bond University

3. Larkin, James. A flexible framework for leveraging verification tools to enhance the verification technologies available for policy enforcement.

Degree: 2009, Bond University

 Program verification is vital as more and more users are creating, downloading and executing foreign computer programs. Software verification tools provide a means for determining… (more)

Subjects/Keywords: Computer software Verification.; Computer Science (0984)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Larkin, J. (2009). A flexible framework for leveraging verification tools to enhance the verification technologies available for policy enforcement. (Thesis). Bond University. Retrieved from https://epublications.bond.edu.au/theses/12

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Larkin, James. “A flexible framework for leveraging verification tools to enhance the verification technologies available for policy enforcement.” 2009. Thesis, Bond University. Accessed June 06, 2020. https://epublications.bond.edu.au/theses/12.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Larkin, James. “A flexible framework for leveraging verification tools to enhance the verification technologies available for policy enforcement.” 2009. Web. 06 Jun 2020.

Vancouver:

Larkin J. A flexible framework for leveraging verification tools to enhance the verification technologies available for policy enforcement. [Internet] [Thesis]. Bond University; 2009. [cited 2020 Jun 06]. Available from: https://epublications.bond.edu.au/theses/12.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Larkin J. A flexible framework for leveraging verification tools to enhance the verification technologies available for policy enforcement. [Thesis]. Bond University; 2009. Available from: https://epublications.bond.edu.au/theses/12

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Hong Kong University of Science and Technology

4. Poon, Chi Yin. A study of eliminating irrelevant access patterns for fault localization in concurrent programs.

Degree: 2012, Hong Kong University of Science and Technology

 Fault localization is usually the most time-consuming step when debugging software bugs in general and concurrency bugs in particular. Automatic fault localization identifies faulty code… (more)

Subjects/Keywords: Debugging in computer science ; Computer software  – Verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Poon, C. Y. (2012). A study of eliminating irrelevant access patterns for fault localization in concurrent programs. (Thesis). Hong Kong University of Science and Technology. Retrieved from http://repository.ust.hk/ir/Record/1783.1-7765 ; https://doi.org/10.14711/thesis-b1198616 ; http://repository.ust.hk/ir/bitstream/1783.1-7765/1/th_redirect.html

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Poon, Chi Yin. “A study of eliminating irrelevant access patterns for fault localization in concurrent programs.” 2012. Thesis, Hong Kong University of Science and Technology. Accessed June 06, 2020. http://repository.ust.hk/ir/Record/1783.1-7765 ; https://doi.org/10.14711/thesis-b1198616 ; http://repository.ust.hk/ir/bitstream/1783.1-7765/1/th_redirect.html.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Poon, Chi Yin. “A study of eliminating irrelevant access patterns for fault localization in concurrent programs.” 2012. Web. 06 Jun 2020.

Vancouver:

Poon CY. A study of eliminating irrelevant access patterns for fault localization in concurrent programs. [Internet] [Thesis]. Hong Kong University of Science and Technology; 2012. [cited 2020 Jun 06]. Available from: http://repository.ust.hk/ir/Record/1783.1-7765 ; https://doi.org/10.14711/thesis-b1198616 ; http://repository.ust.hk/ir/bitstream/1783.1-7765/1/th_redirect.html.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Poon CY. A study of eliminating irrelevant access patterns for fault localization in concurrent programs. [Thesis]. Hong Kong University of Science and Technology; 2012. Available from: http://repository.ust.hk/ir/Record/1783.1-7765 ; https://doi.org/10.14711/thesis-b1198616 ; http://repository.ust.hk/ir/bitstream/1783.1-7765/1/th_redirect.html

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


The Ohio State University

5. Zaccai, Diego Sebastian. A Balanced Verification Effort for the Java Language.

Degree: PhD, Computer Science and Engineering, 2016, The Ohio State University

 Current tools used to verify software in languages with reference semantics, such as Java, are hampered by the possibility of aliases. Existing approaches to addressing… (more)

Subjects/Keywords: Computer Science; Formal Methods; Software Verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Zaccai, D. S. (2016). A Balanced Verification Effort for the Java Language. (Doctoral Dissertation). The Ohio State University. Retrieved from http://rave.ohiolink.edu/etdc/view?acc_num=osu1461243619

Chicago Manual of Style (16th Edition):

Zaccai, Diego Sebastian. “A Balanced Verification Effort for the Java Language.” 2016. Doctoral Dissertation, The Ohio State University. Accessed June 06, 2020. http://rave.ohiolink.edu/etdc/view?acc_num=osu1461243619.

MLA Handbook (7th Edition):

Zaccai, Diego Sebastian. “A Balanced Verification Effort for the Java Language.” 2016. Web. 06 Jun 2020.

Vancouver:

Zaccai DS. A Balanced Verification Effort for the Java Language. [Internet] [Doctoral dissertation]. The Ohio State University; 2016. [cited 2020 Jun 06]. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=osu1461243619.

Council of Science Editors:

Zaccai DS. A Balanced Verification Effort for the Java Language. [Doctoral Dissertation]. The Ohio State University; 2016. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=osu1461243619


Boston University

6. Skowyra, Richard William. Verificare: a platform for composable verification with application to SDN-Enabled systems.

Degree: PhD, Computer Science, 2014, Boston University

Software-Defined Networking (SDN) has become increasing prevalent in both the academic and industrial communities. A new class of system built on SDNs, which we refer… (more)

Subjects/Keywords: Computer science; Verification; Software-defined networking

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Skowyra, R. W. (2014). Verificare: a platform for composable verification with application to SDN-Enabled systems. (Doctoral Dissertation). Boston University. Retrieved from http://hdl.handle.net/2144/15116

Chicago Manual of Style (16th Edition):

Skowyra, Richard William. “Verificare: a platform for composable verification with application to SDN-Enabled systems.” 2014. Doctoral Dissertation, Boston University. Accessed June 06, 2020. http://hdl.handle.net/2144/15116.

MLA Handbook (7th Edition):

Skowyra, Richard William. “Verificare: a platform for composable verification with application to SDN-Enabled systems.” 2014. Web. 06 Jun 2020.

Vancouver:

Skowyra RW. Verificare: a platform for composable verification with application to SDN-Enabled systems. [Internet] [Doctoral dissertation]. Boston University; 2014. [cited 2020 Jun 06]. Available from: http://hdl.handle.net/2144/15116.

Council of Science Editors:

Skowyra RW. Verificare: a platform for composable verification with application to SDN-Enabled systems. [Doctoral Dissertation]. Boston University; 2014. Available from: http://hdl.handle.net/2144/15116


Hong Kong University of Science and Technology

7. Lee, Hongjoo. DeepLink : deep-learning word semantics to link software artifacts.

Degree: 2015, Hong Kong University of Science and Technology

 It is widely understood that developers’ language and bug reporters’ language are different, and the differences limit traceability between commit logs and bug reports. However,… (more)

Subjects/Keywords: Computer software ; Verification ; Mathematical models ; Quality control

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Lee, H. (2015). DeepLink : deep-learning word semantics to link software artifacts. (Thesis). Hong Kong University of Science and Technology. Retrieved from http://repository.ust.hk/ir/Record/1783.1-76839 ; https://doi.org/10.14711/thesis-b1514720 ; http://repository.ust.hk/ir/bitstream/1783.1-76839/1/th_redirect.html

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Lee, Hongjoo. “DeepLink : deep-learning word semantics to link software artifacts.” 2015. Thesis, Hong Kong University of Science and Technology. Accessed June 06, 2020. http://repository.ust.hk/ir/Record/1783.1-76839 ; https://doi.org/10.14711/thesis-b1514720 ; http://repository.ust.hk/ir/bitstream/1783.1-76839/1/th_redirect.html.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Lee, Hongjoo. “DeepLink : deep-learning word semantics to link software artifacts.” 2015. Web. 06 Jun 2020.

Vancouver:

Lee H. DeepLink : deep-learning word semantics to link software artifacts. [Internet] [Thesis]. Hong Kong University of Science and Technology; 2015. [cited 2020 Jun 06]. Available from: http://repository.ust.hk/ir/Record/1783.1-76839 ; https://doi.org/10.14711/thesis-b1514720 ; http://repository.ust.hk/ir/bitstream/1783.1-76839/1/th_redirect.html.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Lee H. DeepLink : deep-learning word semantics to link software artifacts. [Thesis]. Hong Kong University of Science and Technology; 2015. Available from: http://repository.ust.hk/ir/Record/1783.1-76839 ; https://doi.org/10.14711/thesis-b1514720 ; http://repository.ust.hk/ir/bitstream/1783.1-76839/1/th_redirect.html

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Hong Kong University of Science and Technology

8. Rajkhowa, Pritom CSE. VIAP : an automated system for verifying integer assignment programs with loops.

Degree: 2019, Hong Kong University of Science and Technology

 Automatic program verification has been a major research area since its beginning. Despite significant progress in automatic program verification, proving the correctness of programs with… (more)

Subjects/Keywords: Computer software ; Verification ; Computer programs ; Automatic programming (Computer science)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Rajkhowa, P. C. (2019). VIAP : an automated system for verifying integer assignment programs with loops. (Thesis). Hong Kong University of Science and Technology. Retrieved from http://repository.ust.hk/ir/Record/1783.1-102369 ; https://doi.org/10.14711/thesis-991012758169203412 ; http://repository.ust.hk/ir/bitstream/1783.1-102369/1/th_redirect.html

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Rajkhowa, Pritom CSE. “VIAP : an automated system for verifying integer assignment programs with loops.” 2019. Thesis, Hong Kong University of Science and Technology. Accessed June 06, 2020. http://repository.ust.hk/ir/Record/1783.1-102369 ; https://doi.org/10.14711/thesis-991012758169203412 ; http://repository.ust.hk/ir/bitstream/1783.1-102369/1/th_redirect.html.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Rajkhowa, Pritom CSE. “VIAP : an automated system for verifying integer assignment programs with loops.” 2019. Web. 06 Jun 2020.

Vancouver:

Rajkhowa PC. VIAP : an automated system for verifying integer assignment programs with loops. [Internet] [Thesis]. Hong Kong University of Science and Technology; 2019. [cited 2020 Jun 06]. Available from: http://repository.ust.hk/ir/Record/1783.1-102369 ; https://doi.org/10.14711/thesis-991012758169203412 ; http://repository.ust.hk/ir/bitstream/1783.1-102369/1/th_redirect.html.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Rajkhowa PC. VIAP : an automated system for verifying integer assignment programs with loops. [Thesis]. Hong Kong University of Science and Technology; 2019. Available from: http://repository.ust.hk/ir/Record/1783.1-102369 ; https://doi.org/10.14711/thesis-991012758169203412 ; http://repository.ust.hk/ir/bitstream/1783.1-102369/1/th_redirect.html

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Hong Kong University of Science and Technology

9. Tao, Yida. Improving the quality of software code changes : expert knowledge recovery and tool support.

Degree: 2015, Hong Kong University of Science and Technology

 Code changes are essential for software evolution. To safeguard their quality, newly submitted changes typically go through a series of quality assurance steps before being… (more)

Subjects/Keywords: Source code (Computer science) ; Quality control ; Automatic control ; Computer software ; Verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Tao, Y. (2015). Improving the quality of software code changes : expert knowledge recovery and tool support. (Thesis). Hong Kong University of Science and Technology. Retrieved from http://repository.ust.hk/ir/Record/1783.1-80150 ; https://doi.org/10.14711/thesis-b1546039 ; http://repository.ust.hk/ir/bitstream/1783.1-80150/1/th_redirect.html

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Tao, Yida. “Improving the quality of software code changes : expert knowledge recovery and tool support.” 2015. Thesis, Hong Kong University of Science and Technology. Accessed June 06, 2020. http://repository.ust.hk/ir/Record/1783.1-80150 ; https://doi.org/10.14711/thesis-b1546039 ; http://repository.ust.hk/ir/bitstream/1783.1-80150/1/th_redirect.html.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Tao, Yida. “Improving the quality of software code changes : expert knowledge recovery and tool support.” 2015. Web. 06 Jun 2020.

Vancouver:

Tao Y. Improving the quality of software code changes : expert knowledge recovery and tool support. [Internet] [Thesis]. Hong Kong University of Science and Technology; 2015. [cited 2020 Jun 06]. Available from: http://repository.ust.hk/ir/Record/1783.1-80150 ; https://doi.org/10.14711/thesis-b1546039 ; http://repository.ust.hk/ir/bitstream/1783.1-80150/1/th_redirect.html.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Tao Y. Improving the quality of software code changes : expert knowledge recovery and tool support. [Thesis]. Hong Kong University of Science and Technology; 2015. Available from: http://repository.ust.hk/ir/Record/1783.1-80150 ; https://doi.org/10.14711/thesis-b1546039 ; http://repository.ust.hk/ir/bitstream/1783.1-80150/1/th_redirect.html

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of Oxford

10. Neatherway, Robin Philip. Higher-order model checking with traversals.

Degree: PhD, 2014, University of Oxford

 Higher-order recursion schemes are a powerful model of functional computation that grew out of traditional recursive program schemes and generalisations of grammars. It is common… (more)

Subjects/Keywords: 005.1; Computer science (mathematics); Theory and automated verification; software verification; intersection types; model checking

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Neatherway, R. P. (2014). Higher-order model checking with traversals. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:240bd517-1582-45f9-86c3-eb30f85757de ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.640027

Chicago Manual of Style (16th Edition):

Neatherway, Robin Philip. “Higher-order model checking with traversals.” 2014. Doctoral Dissertation, University of Oxford. Accessed June 06, 2020. http://ora.ox.ac.uk/objects/uuid:240bd517-1582-45f9-86c3-eb30f85757de ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.640027.

MLA Handbook (7th Edition):

Neatherway, Robin Philip. “Higher-order model checking with traversals.” 2014. Web. 06 Jun 2020.

Vancouver:

Neatherway RP. Higher-order model checking with traversals. [Internet] [Doctoral dissertation]. University of Oxford; 2014. [cited 2020 Jun 06]. Available from: http://ora.ox.ac.uk/objects/uuid:240bd517-1582-45f9-86c3-eb30f85757de ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.640027.

Council of Science Editors:

Neatherway RP. Higher-order model checking with traversals. [Doctoral Dissertation]. University of Oxford; 2014. Available from: http://ora.ox.ac.uk/objects/uuid:240bd517-1582-45f9-86c3-eb30f85757de ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.640027


Clemson University

11. Harton, Heather. Mechanical and Modular Verification Condition Generation for Object-Based Software.

Degree: PhD, Computer Science, 2011, Clemson University

 The foundational goal of this work is the development of mechanizable proof rules and a verification condition generator based on those rules for modern software.… (more)

Subjects/Keywords: assertions; formal specification; mechanical verification; modular verification; semantics; software engineering; Computer Sciences

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Harton, H. (2011). Mechanical and Modular Verification Condition Generation for Object-Based Software. (Doctoral Dissertation). Clemson University. Retrieved from https://tigerprints.clemson.edu/all_dissertations/869

Chicago Manual of Style (16th Edition):

Harton, Heather. “Mechanical and Modular Verification Condition Generation for Object-Based Software.” 2011. Doctoral Dissertation, Clemson University. Accessed June 06, 2020. https://tigerprints.clemson.edu/all_dissertations/869.

MLA Handbook (7th Edition):

Harton, Heather. “Mechanical and Modular Verification Condition Generation for Object-Based Software.” 2011. Web. 06 Jun 2020.

Vancouver:

Harton H. Mechanical and Modular Verification Condition Generation for Object-Based Software. [Internet] [Doctoral dissertation]. Clemson University; 2011. [cited 2020 Jun 06]. Available from: https://tigerprints.clemson.edu/all_dissertations/869.

Council of Science Editors:

Harton H. Mechanical and Modular Verification Condition Generation for Object-Based Software. [Doctoral Dissertation]. Clemson University; 2011. Available from: https://tigerprints.clemson.edu/all_dissertations/869


University of California – San Diego

12. Bounov, Dimitar Assenov. Toward Gamification and Crowdsourcing of Software Verification.

Degree: Computer Science and Engineering, 2018, University of California – San Diego

Software has become intimately linked with every part of our modern life, from controlling our power grids and water ways, through managing financial transactions and… (more)

Subjects/Keywords: Computer science; crowdsourcing; gamification; invariant inferrence; programming languages; software verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Bounov, D. A. (2018). Toward Gamification and Crowdsourcing of Software Verification. (Thesis). University of California – San Diego. Retrieved from http://www.escholarship.org/uc/item/6ng0q1n8

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Bounov, Dimitar Assenov. “Toward Gamification and Crowdsourcing of Software Verification.” 2018. Thesis, University of California – San Diego. Accessed June 06, 2020. http://www.escholarship.org/uc/item/6ng0q1n8.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Bounov, Dimitar Assenov. “Toward Gamification and Crowdsourcing of Software Verification.” 2018. Web. 06 Jun 2020.

Vancouver:

Bounov DA. Toward Gamification and Crowdsourcing of Software Verification. [Internet] [Thesis]. University of California – San Diego; 2018. [cited 2020 Jun 06]. Available from: http://www.escholarship.org/uc/item/6ng0q1n8.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Bounov DA. Toward Gamification and Crowdsourcing of Software Verification. [Thesis]. University of California – San Diego; 2018. Available from: http://www.escholarship.org/uc/item/6ng0q1n8

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

13. Delport, Johannes Arnoldus. Simulation and verifcation software for superconducting electronic Circuits.

Degree: PhD, Electrical and Electronic Engineering, 2019, Stellenbosch University

ENGLISH ABSTRACT: The dissertation presents simulation and veri cation software for both high- and low-level de- signs with emphasis on superconducting integrated circuits. A static… (more)

Subjects/Keywords: Simulation methods; UCTD; Electric lines  – Superconducting; Computer software  – Verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Delport, J. A. (2019). Simulation and verifcation software for superconducting electronic Circuits. (Doctoral Dissertation). Stellenbosch University. Retrieved from http://hdl.handle.net/10019.1/106048

Chicago Manual of Style (16th Edition):

Delport, Johannes Arnoldus. “Simulation and verifcation software for superconducting electronic Circuits.” 2019. Doctoral Dissertation, Stellenbosch University. Accessed June 06, 2020. http://hdl.handle.net/10019.1/106048.

MLA Handbook (7th Edition):

Delport, Johannes Arnoldus. “Simulation and verifcation software for superconducting electronic Circuits.” 2019. Web. 06 Jun 2020.

Vancouver:

Delport JA. Simulation and verifcation software for superconducting electronic Circuits. [Internet] [Doctoral dissertation]. Stellenbosch University; 2019. [cited 2020 Jun 06]. Available from: http://hdl.handle.net/10019.1/106048.

Council of Science Editors:

Delport JA. Simulation and verifcation software for superconducting electronic Circuits. [Doctoral Dissertation]. Stellenbosch University; 2019. Available from: http://hdl.handle.net/10019.1/106048

14. Bocic, Ivan. Data Model Verification via Theorem Proving.

Degree: 2016, University of California – eScholarship, University of California

Software applications have moved from desktop computers onto the web. This is not surprising since there are many advantages that web applications provide, such as… (more)

Subjects/Keywords: Computer science; data models; software analysis; verification; web applications

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Bocic, I. (2016). Data Model Verification via Theorem Proving. (Thesis). University of California – eScholarship, University of California. Retrieved from http://www.escholarship.org/uc/item/5db8j052

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Bocic, Ivan. “Data Model Verification via Theorem Proving.” 2016. Thesis, University of California – eScholarship, University of California. Accessed June 06, 2020. http://www.escholarship.org/uc/item/5db8j052.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Bocic, Ivan. “Data Model Verification via Theorem Proving.” 2016. Web. 06 Jun 2020.

Vancouver:

Bocic I. Data Model Verification via Theorem Proving. [Internet] [Thesis]. University of California – eScholarship, University of California; 2016. [cited 2020 Jun 06]. Available from: http://www.escholarship.org/uc/item/5db8j052.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Bocic I. Data Model Verification via Theorem Proving. [Thesis]. University of California – eScholarship, University of California; 2016. Available from: http://www.escholarship.org/uc/item/5db8j052

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Washington State University

15. [No author]. Fundamental studies on a decompositional and hybrid approach to automatic verification of component-based systems .

Degree: 2005, Washington State University

Subjects/Keywords: Component software.; Computer programs  – Verification.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

author], [. (2005). Fundamental studies on a decompositional and hybrid approach to automatic verification of component-based systems . (Thesis). Washington State University. Retrieved from http://hdl.handle.net/2376/380

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

author], [No. “Fundamental studies on a decompositional and hybrid approach to automatic verification of component-based systems .” 2005. Thesis, Washington State University. Accessed June 06, 2020. http://hdl.handle.net/2376/380.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

author], [No. “Fundamental studies on a decompositional and hybrid approach to automatic verification of component-based systems .” 2005. Web. 06 Jun 2020.

Vancouver:

author] [. Fundamental studies on a decompositional and hybrid approach to automatic verification of component-based systems . [Internet] [Thesis]. Washington State University; 2005. [cited 2020 Jun 06]. Available from: http://hdl.handle.net/2376/380.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

author] [. Fundamental studies on a decompositional and hybrid approach to automatic verification of component-based systems . [Thesis]. Washington State University; 2005. Available from: http://hdl.handle.net/2376/380

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Clemson University

16. Cook, Charles. A Web-Integrated Environment for Component-Based Software Reasoning.

Degree: MS, Computer Science, 2011, Clemson University

 This thesis presents the Web IDE, a web-integrated environment for component-based software reasoning. The Web IDE is specifically tailored to emphasize the relationships among various… (more)

Subjects/Keywords: IDE; Online; Reasoning; Software; Verification; Web-based; Computer Sciences

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Cook, C. (2011). A Web-Integrated Environment for Component-Based Software Reasoning. (Masters Thesis). Clemson University. Retrieved from https://tigerprints.clemson.edu/all_theses/1230

Chicago Manual of Style (16th Edition):

Cook, Charles. “A Web-Integrated Environment for Component-Based Software Reasoning.” 2011. Masters Thesis, Clemson University. Accessed June 06, 2020. https://tigerprints.clemson.edu/all_theses/1230.

MLA Handbook (7th Edition):

Cook, Charles. “A Web-Integrated Environment for Component-Based Software Reasoning.” 2011. Web. 06 Jun 2020.

Vancouver:

Cook C. A Web-Integrated Environment for Component-Based Software Reasoning. [Internet] [Masters thesis]. Clemson University; 2011. [cited 2020 Jun 06]. Available from: https://tigerprints.clemson.edu/all_theses/1230.

Council of Science Editors:

Cook C. A Web-Integrated Environment for Component-Based Software Reasoning. [Masters Thesis]. Clemson University; 2011. Available from: https://tigerprints.clemson.edu/all_theses/1230


University of Tennessee – Knoxville

17. Ward, Christina Dawn. Software Verification for a Custom Instrument using VectorCAST and CodeSonar.

Degree: MS, Electrical Engineering, 2011, University of Tennessee – Knoxville

  The goal of this thesis is to apply a structured verification process to a software package using a set of commercially available verification tools. … (more)

Subjects/Keywords: software verification; VectorCAST; CodeSonar; embedded system; Other Electrical and Computer Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Ward, C. D. (2011). Software Verification for a Custom Instrument using VectorCAST and CodeSonar. (Thesis). University of Tennessee – Knoxville. Retrieved from https://trace.tennessee.edu/utk_gradthes/918

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Ward, Christina Dawn. “Software Verification for a Custom Instrument using VectorCAST and CodeSonar.” 2011. Thesis, University of Tennessee – Knoxville. Accessed June 06, 2020. https://trace.tennessee.edu/utk_gradthes/918.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Ward, Christina Dawn. “Software Verification for a Custom Instrument using VectorCAST and CodeSonar.” 2011. Web. 06 Jun 2020.

Vancouver:

Ward CD. Software Verification for a Custom Instrument using VectorCAST and CodeSonar. [Internet] [Thesis]. University of Tennessee – Knoxville; 2011. [cited 2020 Jun 06]. Available from: https://trace.tennessee.edu/utk_gradthes/918.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Ward CD. Software Verification for a Custom Instrument using VectorCAST and CodeSonar. [Thesis]. University of Tennessee – Knoxville; 2011. Available from: https://trace.tennessee.edu/utk_gradthes/918

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Louisiana State University

18. Peralta, Manuel Alfonso. Perpetual requirements engineering.

Degree: PhD, Computer Sciences, 2012, Louisiana State University

 This dissertation attempts to make a contribution within the fields of distributed systems, security, and formal verification. We provide a way to formally assess the… (more)

Subjects/Keywords: Computer Security; Software Engineering; Modal Logic; Logic Programming; Software Verification; Sensor Networks

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Peralta, M. A. (2012). Perpetual requirements engineering. (Doctoral Dissertation). Louisiana State University. Retrieved from etd-10242012-153450 ; https://digitalcommons.lsu.edu/gradschool_dissertations/1220

Chicago Manual of Style (16th Edition):

Peralta, Manuel Alfonso. “Perpetual requirements engineering.” 2012. Doctoral Dissertation, Louisiana State University. Accessed June 06, 2020. etd-10242012-153450 ; https://digitalcommons.lsu.edu/gradschool_dissertations/1220.

MLA Handbook (7th Edition):

Peralta, Manuel Alfonso. “Perpetual requirements engineering.” 2012. Web. 06 Jun 2020.

Vancouver:

Peralta MA. Perpetual requirements engineering. [Internet] [Doctoral dissertation]. Louisiana State University; 2012. [cited 2020 Jun 06]. Available from: etd-10242012-153450 ; https://digitalcommons.lsu.edu/gradschool_dissertations/1220.

Council of Science Editors:

Peralta MA. Perpetual requirements engineering. [Doctoral Dissertation]. Louisiana State University; 2012. Available from: etd-10242012-153450 ; https://digitalcommons.lsu.edu/gradschool_dissertations/1220


The Ohio State University

19. Adcock, Bruce M. Working Towards the Verified Software Process.

Degree: PhD, Computer Science and Engineering, 2010, The Ohio State University

  Numerous pieces of the software verification puzzle need to fit together in order to achieve that vision. First, there must be a programming language… (more)

Subjects/Keywords: Computer Science; Software engineering; software verification; automated theorem prover; lazy copying; Resolve; debugging

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Adcock, B. M. (2010). Working Towards the Verified Software Process. (Doctoral Dissertation). The Ohio State University. Retrieved from http://rave.ohiolink.edu/etdc/view?acc_num=osu1293463269

Chicago Manual of Style (16th Edition):

Adcock, Bruce M. “Working Towards the Verified Software Process.” 2010. Doctoral Dissertation, The Ohio State University. Accessed June 06, 2020. http://rave.ohiolink.edu/etdc/view?acc_num=osu1293463269.

MLA Handbook (7th Edition):

Adcock, Bruce M. “Working Towards the Verified Software Process.” 2010. Web. 06 Jun 2020.

Vancouver:

Adcock BM. Working Towards the Verified Software Process. [Internet] [Doctoral dissertation]. The Ohio State University; 2010. [cited 2020 Jun 06]. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=osu1293463269.

Council of Science Editors:

Adcock BM. Working Towards the Verified Software Process. [Doctoral Dissertation]. The Ohio State University; 2010. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=osu1293463269


Stellenbosch University

20. Breytenbach, Jean Anré. Design and evaluation of a formula cache for SMT-based bounded model checking tools.

Degree: MSc, Mathematical Sciences, 2018, Stellenbosch University

ENGLISH ABSTRACT : Program verification is a computationally expensive and time-consuming process. Bounded model checking is a branch of program verification that produces FOL formulas… (more)

Subjects/Keywords: Bounded model checking; UCTD; Model checking (Computer science); Satisfiability modulo theories (SMT); Computer software  – Verification; Integrated circuits  – Verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Breytenbach, J. A. (2018). Design and evaluation of a formula cache for SMT-based bounded model checking tools. (Masters Thesis). Stellenbosch University. Retrieved from http://hdl.handle.net/10019.1/103809

Chicago Manual of Style (16th Edition):

Breytenbach, Jean Anré. “Design and evaluation of a formula cache for SMT-based bounded model checking tools.” 2018. Masters Thesis, Stellenbosch University. Accessed June 06, 2020. http://hdl.handle.net/10019.1/103809.

MLA Handbook (7th Edition):

Breytenbach, Jean Anré. “Design and evaluation of a formula cache for SMT-based bounded model checking tools.” 2018. Web. 06 Jun 2020.

Vancouver:

Breytenbach JA. Design and evaluation of a formula cache for SMT-based bounded model checking tools. [Internet] [Masters thesis]. Stellenbosch University; 2018. [cited 2020 Jun 06]. Available from: http://hdl.handle.net/10019.1/103809.

Council of Science Editors:

Breytenbach JA. Design and evaluation of a formula cache for SMT-based bounded model checking tools. [Masters Thesis]. Stellenbosch University; 2018. Available from: http://hdl.handle.net/10019.1/103809

21. Mendoza Santana, Juan Jose. Construct by Contract: Construct by Contract: An Approach for Developing Reliable Software.

Degree: 2013, RIAN

 This research introduces “Construct by Contract” as a proposal for a general methodology to develop dependable software systems. It describes an ideal process to construct… (more)

Subjects/Keywords: Computer Science; Software Engineering; Construct by Contract; Design by Contract; Software Verification; Dependable Software; Software Engineering; Dependable Software Systems; Rigorous Software Development; Java Reliable Software

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Mendoza Santana, J. J. (2013). Construct by Contract: Construct by Contract: An Approach for Developing Reliable Software. (Thesis). RIAN. Retrieved from http://mural.maynoothuniversity.ie/4557/

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Mendoza Santana, Juan Jose. “Construct by Contract: Construct by Contract: An Approach for Developing Reliable Software.” 2013. Thesis, RIAN. Accessed June 06, 2020. http://mural.maynoothuniversity.ie/4557/.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Mendoza Santana, Juan Jose. “Construct by Contract: Construct by Contract: An Approach for Developing Reliable Software.” 2013. Web. 06 Jun 2020.

Vancouver:

Mendoza Santana JJ. Construct by Contract: Construct by Contract: An Approach for Developing Reliable Software. [Internet] [Thesis]. RIAN; 2013. [cited 2020 Jun 06]. Available from: http://mural.maynoothuniversity.ie/4557/.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Mendoza Santana JJ. Construct by Contract: Construct by Contract: An Approach for Developing Reliable Software. [Thesis]. RIAN; 2013. Available from: http://mural.maynoothuniversity.ie/4557/

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Texas State University – San Marcos

22. Siroky, Colin Stuart. Verification of Architectual Constraints on Interaction Protocols Among Modules.

Degree: MS, Software Engineering, 2015, Texas State University – San Marcos

 The importance of correspondence between the architectural prescription and implementation has been long recognized. This thesis presents an approach to verification of constraints on method… (more)

Subjects/Keywords: Architectural constraints; Slicing; Mocking; Symbolic execution; Verification; Software architecture; Software architecture; Computer programming; Computer architecture; Computer systems – Design and construction

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Siroky, C. S. (2015). Verification of Architectual Constraints on Interaction Protocols Among Modules. (Masters Thesis). Texas State University – San Marcos. Retrieved from https://digital.library.txstate.edu/handle/10877/5581

Chicago Manual of Style (16th Edition):

Siroky, Colin Stuart. “Verification of Architectual Constraints on Interaction Protocols Among Modules.” 2015. Masters Thesis, Texas State University – San Marcos. Accessed June 06, 2020. https://digital.library.txstate.edu/handle/10877/5581.

MLA Handbook (7th Edition):

Siroky, Colin Stuart. “Verification of Architectual Constraints on Interaction Protocols Among Modules.” 2015. Web. 06 Jun 2020.

Vancouver:

Siroky CS. Verification of Architectual Constraints on Interaction Protocols Among Modules. [Internet] [Masters thesis]. Texas State University – San Marcos; 2015. [cited 2020 Jun 06]. Available from: https://digital.library.txstate.edu/handle/10877/5581.

Council of Science Editors:

Siroky CS. Verification of Architectual Constraints on Interaction Protocols Among Modules. [Masters Thesis]. Texas State University – San Marcos; 2015. Available from: https://digital.library.txstate.edu/handle/10877/5581

23. Larkin, James. A flexible framework for leveraging verification tools to enhance the verification technologies available for policy enforcement.

Degree: [email protected]

 Program verification is vital as more and more users are creating, downloading and executing foreign computer programs. Software verification tools provide a means for determining… (more)

Subjects/Keywords: Computer software Verification.; Computer Science (0984)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Larkin, J. (n.d.). A flexible framework for leveraging verification tools to enhance the verification technologies available for policy enforcement. (Thesis). [email protected] Retrieved from http://epublications.bond.edu.au/theses/12

Note: this citation may be lacking information needed for this citation format:
No year of publication.
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Larkin, James. “A flexible framework for leveraging verification tools to enhance the verification technologies available for policy enforcement.” Thesis, [email protected] Accessed June 06, 2020. http://epublications.bond.edu.au/theses/12.

Note: this citation may be lacking information needed for this citation format:
No year of publication.
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Larkin, James. “A flexible framework for leveraging verification tools to enhance the verification technologies available for policy enforcement.” Web. 06 Jun 2020.

Note: this citation may be lacking information needed for this citation format:
No year of publication.

Vancouver:

Larkin J. A flexible framework for leveraging verification tools to enhance the verification technologies available for policy enforcement. [Internet] [Thesis]. [email protected]; [cited 2020 Jun 06]. Available from: http://epublications.bond.edu.au/theses/12.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
No year of publication.

Council of Science Editors:

Larkin J. A flexible framework for leveraging verification tools to enhance the verification technologies available for policy enforcement. [Thesis]. [email protected]; Available from: http://epublications.bond.edu.au/theses/12

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
No year of publication.


University of Western Sydney

24. Kelly, Michael A. The tree-like local model update with domain constraints.

Degree: 2011, University of Western Sydney

 Model update is the logical extension of model checking, allowing automated modification to models found not to satisfy a given property in the checking process.… (more)

Subjects/Keywords: Thesis (Ph.D.) – University of Western Sydney, 2011; computational tree logic; computer software; verification; computer logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Kelly, M. A. (2011). The tree-like local model update with domain constraints. (Thesis). University of Western Sydney. Retrieved from http://handle.uws.edu.au:8081/1959.7/512105

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Kelly, Michael A. “The tree-like local model update with domain constraints.” 2011. Thesis, University of Western Sydney. Accessed June 06, 2020. http://handle.uws.edu.au:8081/1959.7/512105.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Kelly, Michael A. “The tree-like local model update with domain constraints.” 2011. Web. 06 Jun 2020.

Vancouver:

Kelly MA. The tree-like local model update with domain constraints. [Internet] [Thesis]. University of Western Sydney; 2011. [cited 2020 Jun 06]. Available from: http://handle.uws.edu.au:8081/1959.7/512105.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Kelly MA. The tree-like local model update with domain constraints. [Thesis]. University of Western Sydney; 2011. Available from: http://handle.uws.edu.au:8081/1959.7/512105

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of Oxford

25. Weissenbacher, Georg. Program analysis with interpolants.

Degree: 2010, University of Oxford

 This dissertation discusses novel techniques for interpolation-based software model checking, an approximate method which uses Craig interpolation to compute invariants of programs. Our work addresses… (more)

Subjects/Keywords: 005.3; Theory and automated verification : Program development and tools : Computer science (mathematics) : software verification : Craig interpolation : logic : decision procedures

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Weissenbacher, G. (2010). Program analysis with interpolants. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:6987de8b-92c2-4309-b762-f0b0b9a165e6 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.526418

Chicago Manual of Style (16th Edition):

Weissenbacher, Georg. “Program analysis with interpolants.” 2010. Doctoral Dissertation, University of Oxford. Accessed June 06, 2020. http://ora.ox.ac.uk/objects/uuid:6987de8b-92c2-4309-b762-f0b0b9a165e6 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.526418.

MLA Handbook (7th Edition):

Weissenbacher, Georg. “Program analysis with interpolants.” 2010. Web. 06 Jun 2020.

Vancouver:

Weissenbacher G. Program analysis with interpolants. [Internet] [Doctoral dissertation]. University of Oxford; 2010. [cited 2020 Jun 06]. Available from: http://ora.ox.ac.uk/objects/uuid:6987de8b-92c2-4309-b762-f0b0b9a165e6 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.526418.

Council of Science Editors:

Weissenbacher G. Program analysis with interpolants. [Doctoral Dissertation]. University of Oxford; 2010. Available from: http://ora.ox.ac.uk/objects/uuid:6987de8b-92c2-4309-b762-f0b0b9a165e6 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.526418


Brigham Young University

26. Larson, Trent N. A Formal Method to Analyze Framework-Based Software.

Degree: PhD, 2002, Brigham Young University

Software systems are frequently designed using abstractions that make software verification tractable. Specifically, by choosing meaningful, formal abstractions for interfaces and then designing according to… (more)

Subjects/Keywords: formal verification; software frameworks; software verification; framework-based software systems; Computer Sciences

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Larson, T. N. (2002). A Formal Method to Analyze Framework-Based Software. (Doctoral Dissertation). Brigham Young University. Retrieved from https://scholarsarchive.byu.edu/cgi/viewcontent.cgi?article=1103&context=etd

Chicago Manual of Style (16th Edition):

Larson, Trent N. “A Formal Method to Analyze Framework-Based Software.” 2002. Doctoral Dissertation, Brigham Young University. Accessed June 06, 2020. https://scholarsarchive.byu.edu/cgi/viewcontent.cgi?article=1103&context=etd.

MLA Handbook (7th Edition):

Larson, Trent N. “A Formal Method to Analyze Framework-Based Software.” 2002. Web. 06 Jun 2020.

Vancouver:

Larson TN. A Formal Method to Analyze Framework-Based Software. [Internet] [Doctoral dissertation]. Brigham Young University; 2002. [cited 2020 Jun 06]. Available from: https://scholarsarchive.byu.edu/cgi/viewcontent.cgi?article=1103&context=etd.

Council of Science Editors:

Larson TN. A Formal Method to Analyze Framework-Based Software. [Doctoral Dissertation]. Brigham Young University; 2002. Available from: https://scholarsarchive.byu.edu/cgi/viewcontent.cgi?article=1103&context=etd

27. Sinha, Rohit. Secure Computing using Certified Software and Trusted Hardware.

Degree: Electrical Engineering, 2017, University of California – Berkeley

 Building applications that ensure confidentiality of sensitive data is a non-trivial task. Such applications constantly face threats due to vulnerabilities in the application's code, or… (more)

Subjects/Keywords: Electrical engineering; Computer Security; Confidentiality; Enclave Programs; Formal Verification; Trusted Hardware; Verified Software

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Sinha, R. (2017). Secure Computing using Certified Software and Trusted Hardware. (Thesis). University of California – Berkeley. Retrieved from http://www.escholarship.org/uc/item/54r176n5

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Sinha, Rohit. “Secure Computing using Certified Software and Trusted Hardware.” 2017. Thesis, University of California – Berkeley. Accessed June 06, 2020. http://www.escholarship.org/uc/item/54r176n5.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Sinha, Rohit. “Secure Computing using Certified Software and Trusted Hardware.” 2017. Web. 06 Jun 2020.

Vancouver:

Sinha R. Secure Computing using Certified Software and Trusted Hardware. [Internet] [Thesis]. University of California – Berkeley; 2017. [cited 2020 Jun 06]. Available from: http://www.escholarship.org/uc/item/54r176n5.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Sinha R. Secure Computing using Certified Software and Trusted Hardware. [Thesis]. University of California – Berkeley; 2017. Available from: http://www.escholarship.org/uc/item/54r176n5

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of Colorado

28. McClurg, Jedidiah. Program Synthesis for Software-Defined Networking.

Degree: PhD, 2018, University of Colorado

Software-defined networking (SDN) is revolutionizing the networking industry, but even the most advanced SDN programming platforms lack mechanisms for changing the <b>global configuration</b> (the… (more)

Subjects/Keywords: networking; program synthesis; program verification; software-defined networking; updates; Computer Sciences; Digital Communications and Networking

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

McClurg, J. (2018). Program Synthesis for Software-Defined Networking. (Doctoral Dissertation). University of Colorado. Retrieved from https://scholar.colorado.edu/csci_gradetds/164

Chicago Manual of Style (16th Edition):

McClurg, Jedidiah. “Program Synthesis for Software-Defined Networking.” 2018. Doctoral Dissertation, University of Colorado. Accessed June 06, 2020. https://scholar.colorado.edu/csci_gradetds/164.

MLA Handbook (7th Edition):

McClurg, Jedidiah. “Program Synthesis for Software-Defined Networking.” 2018. Web. 06 Jun 2020.

Vancouver:

McClurg J. Program Synthesis for Software-Defined Networking. [Internet] [Doctoral dissertation]. University of Colorado; 2018. [cited 2020 Jun 06]. Available from: https://scholar.colorado.edu/csci_gradetds/164.

Council of Science Editors:

McClurg J. Program Synthesis for Software-Defined Networking. [Doctoral Dissertation]. University of Colorado; 2018. Available from: https://scholar.colorado.edu/csci_gradetds/164

29. Alkhalaf, Muath. Automatic Detection and Repair of Input Validation and Sanitization Bugs.

Degree: 2014, University of California – eScholarship, University of California

 A crucial problem in developing dependable web applications is thecorrectness of the input validation and sanitization. Bugs in stringmanipulation operations used for validation and sanitization… (more)

Subjects/Keywords: Computer science; Automata; Formal Methods; Model Checking; Program Repair; Security; Software Verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Alkhalaf, M. (2014). Automatic Detection and Repair of Input Validation and Sanitization Bugs. (Thesis). University of California – eScholarship, University of California. Retrieved from http://www.escholarship.org/uc/item/0dx20255

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Alkhalaf, Muath. “Automatic Detection and Repair of Input Validation and Sanitization Bugs.” 2014. Thesis, University of California – eScholarship, University of California. Accessed June 06, 2020. http://www.escholarship.org/uc/item/0dx20255.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Alkhalaf, Muath. “Automatic Detection and Repair of Input Validation and Sanitization Bugs.” 2014. Web. 06 Jun 2020.

Vancouver:

Alkhalaf M. Automatic Detection and Repair of Input Validation and Sanitization Bugs. [Internet] [Thesis]. University of California – eScholarship, University of California; 2014. [cited 2020 Jun 06]. Available from: http://www.escholarship.org/uc/item/0dx20255.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Alkhalaf M. Automatic Detection and Repair of Input Validation and Sanitization Bugs. [Thesis]. University of California – eScholarship, University of California; 2014. Available from: http://www.escholarship.org/uc/item/0dx20255

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Purdue University

30. Zhu, He. Learning Program Specifications from Sample Runs.

Degree: PhD, Computer Science, 2016, Purdue University

  With science fiction of yore being reality recently with self-driving cars, wearable computers and autonomous robots, software reliability is growing increasingly important. A critical… (more)

Subjects/Keywords: Applied sciences; Correctness proof; Learning; Program verification; Refinement types; Software engineering; Specification synthesis; Computer Sciences

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Zhu, H. (2016). Learning Program Specifications from Sample Runs. (Doctoral Dissertation). Purdue University. Retrieved from https://docs.lib.purdue.edu/open_access_dissertations/900

Chicago Manual of Style (16th Edition):

Zhu, He. “Learning Program Specifications from Sample Runs.” 2016. Doctoral Dissertation, Purdue University. Accessed June 06, 2020. https://docs.lib.purdue.edu/open_access_dissertations/900.

MLA Handbook (7th Edition):

Zhu, He. “Learning Program Specifications from Sample Runs.” 2016. Web. 06 Jun 2020.

Vancouver:

Zhu H. Learning Program Specifications from Sample Runs. [Internet] [Doctoral dissertation]. Purdue University; 2016. [cited 2020 Jun 06]. Available from: https://docs.lib.purdue.edu/open_access_dissertations/900.

Council of Science Editors:

Zhu H. Learning Program Specifications from Sample Runs. [Doctoral Dissertation]. Purdue University; 2016. Available from: https://docs.lib.purdue.edu/open_access_dissertations/900

[1] [2] [3] [4] [5]

.