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 131 total matches.

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

Search Limiters

Last 2 Years | English Only

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 April 19, 2019. http://hdl.handle.net/10019/9983.

MLA Handbook (7th Edition):

Rajaona, Solofomampionona Fortunat. “An algebraic framework for reasoning about security.” 2013. Web. 19 Apr 2019.

Vancouver:

Rajaona SF. An algebraic framework for reasoning about security. [Internet] [Masters thesis]. Stellenbosch University; 2013. [cited 2019 Apr 19]. 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 April 19, 2019. 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. 19 Apr 2019.

Vancouver:

Kesseli P. Semantic refactorings. [Internet] [Doctoral dissertation]. University of Oxford; 2017. [cited 2019 Apr 19]. 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 April 19, 2019. 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. 19 Apr 2019.

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 2019 Apr 19]. 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 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 April 19, 2019. 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. 19 Apr 2019.

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 2019 Apr 19]. Available from: 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: 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 April 19, 2019. 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. 19 Apr 2019.

Vancouver:

Zaccai DS. A Balanced Verification Effort for the Java Language. [Internet] [Doctoral dissertation]. The Ohio State University; 2016. [cited 2019 Apr 19]. 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


Hong Kong University of Science and Technology

6. 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 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 April 19, 2019. 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. 19 Apr 2019.

Vancouver:

Lee H. DeepLink : deep-learning word semantics to link software artifacts. [Internet] [Thesis]. Hong Kong University of Science and Technology; 2015. [cited 2019 Apr 19]. Available from: 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: 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


Boston University

7. 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 April 19, 2019. 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. 19 Apr 2019.

Vancouver:

Skowyra RW. Verificare: a platform for composable verification with application to SDN-Enabled systems. [Internet] [Doctoral dissertation]. Boston University; 2014. [cited 2019 Apr 19]. 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

8. 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 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 April 19, 2019. 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. 19 Apr 2019.

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 2019 Apr 19]. Available from: 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: 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

9. 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: 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 ; http://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 April 19, 2019. http://ora.ox.ac.uk/objects/uuid:240bd517-1582-45f9-86c3-eb30f85757de ; http://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. 19 Apr 2019.

Vancouver:

Neatherway RP. Higher-order model checking with traversals. [Internet] [Doctoral dissertation]. University of Oxford; 2014. [cited 2019 Apr 19]. Available from: http://ora.ox.ac.uk/objects/uuid:240bd517-1582-45f9-86c3-eb30f85757de ; http://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 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.640027


Clemson University

10. 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 April 19, 2019. 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. 19 Apr 2019.

Vancouver:

Harton H. Mechanical and Modular Verification Condition Generation for Object-Based Software. [Internet] [Doctoral dissertation]. Clemson University; 2011. [cited 2019 Apr 19]. 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 Texas – Austin

11. Kilgore, Richard Brian. Testing concurrent software systems.

Degree: Electrical and Computer Engineering, 2006, University of Texas – Austin

 Two approaches to testing concurrent software are presented. In the first, a system is assumed to contain a deterministic computation when correct, and I describe… (more)

Subjects/Keywords: Computer software – Validation; Computer software – Verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kilgore, R. B. (2006). Testing concurrent software systems. (Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/3402

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):

Kilgore, Richard Brian. “Testing concurrent software systems.” 2006. Thesis, University of Texas – Austin. Accessed April 19, 2019. http://hdl.handle.net/2152/3402.

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

MLA Handbook (7th Edition):

Kilgore, Richard Brian. “Testing concurrent software systems.” 2006. Web. 19 Apr 2019.

Vancouver:

Kilgore RB. Testing concurrent software systems. [Internet] [Thesis]. University of Texas – Austin; 2006. [cited 2019 Apr 19]. Available from: http://hdl.handle.net/2152/3402.

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

Council of Science Editors:

Kilgore RB. Testing concurrent software systems. [Thesis]. University of Texas – Austin; 2006. Available from: http://hdl.handle.net/2152/3402

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


University of Texas – Austin

12. Xie, Fei. Integration of model checking into software development processes.

Degree: Computer Sciences, 2004, University of Texas – Austin

 Testing has been the dominant method for validation of software systems. As software systems become complex, conventional testing methods have become inadequate. Model checking is… (more)

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

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Xie, F. (2004). Integration of model checking into software development processes. (Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/1458

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):

Xie, Fei. “Integration of model checking into software development processes.” 2004. Thesis, University of Texas – Austin. Accessed April 19, 2019. http://hdl.handle.net/2152/1458.

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

MLA Handbook (7th Edition):

Xie, Fei. “Integration of model checking into software development processes.” 2004. Web. 19 Apr 2019.

Vancouver:

Xie F. Integration of model checking into software development processes. [Internet] [Thesis]. University of Texas – Austin; 2004. [cited 2019 Apr 19]. Available from: http://hdl.handle.net/2152/1458.

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

Council of Science Editors:

Xie F. Integration of model checking into software development processes. [Thesis]. University of Texas – Austin; 2004. Available from: http://hdl.handle.net/2152/1458

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


University of California – San Diego

13. 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 con-trolling 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 April 19, 2019. 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. 19 Apr 2019.

Vancouver:

Bounov DA. Toward Gamification and Crowdsourcing of Software Verification. [Internet] [Thesis]. University of California – San Diego; 2018. [cited 2019 Apr 19]. 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


Clemson University

14. 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 April 19, 2019. https://tigerprints.clemson.edu/all_theses/1230.

MLA Handbook (7th Edition):

Cook, Charles. “A Web-Integrated Environment for Component-Based Software Reasoning.” 2011. Web. 19 Apr 2019.

Vancouver:

Cook C. A Web-Integrated Environment for Component-Based Software Reasoning. [Internet] [Masters thesis]. Clemson University; 2011. [cited 2019 Apr 19]. 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


Clemson University

15. Regula, Kalyan chakradhar. A Verifying Compiler for Embedded Networked Systems.

Degree: MS, Computer Science, 2010, Clemson University

 Embedded networked devices are required to produce dependable outputs and communicate with peer devices given limited computing resources. These devices monitor and control processes within… (more)

Subjects/Keywords: Embedded Networked Systems; Software Verification; Verifying Compiler; Computer Sciences

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Regula, K. c. (2010). A Verifying Compiler for Embedded Networked Systems. (Masters Thesis). Clemson University. Retrieved from https://tigerprints.clemson.edu/all_theses/899

Chicago Manual of Style (16th Edition):

Regula, Kalyan chakradhar. “A Verifying Compiler for Embedded Networked Systems.” 2010. Masters Thesis, Clemson University. Accessed April 19, 2019. https://tigerprints.clemson.edu/all_theses/899.

MLA Handbook (7th Edition):

Regula, Kalyan chakradhar. “A Verifying Compiler for Embedded Networked Systems.” 2010. Web. 19 Apr 2019.

Vancouver:

Regula Kc. A Verifying Compiler for Embedded Networked Systems. [Internet] [Masters thesis]. Clemson University; 2010. [cited 2019 Apr 19]. Available from: https://tigerprints.clemson.edu/all_theses/899.

Council of Science Editors:

Regula Kc. A Verifying Compiler for Embedded Networked Systems. [Masters Thesis]. Clemson University; 2010. Available from: https://tigerprints.clemson.edu/all_theses/899


University of Tennessee – Knoxville

16. 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 April 19, 2019. 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. 19 Apr 2019.

Vancouver:

Ward CD. Software Verification for a Custom Instrument using VectorCAST and CodeSonar. [Internet] [Thesis]. University of Tennessee – Knoxville; 2011. [cited 2019 Apr 19]. 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


University of Texas – Austin

17. Mony, Hari, 1977-. Sequential redundancy identification using transformation-based verification.

Degree: Electrical and Computer Engineering, 2008, University of Texas – Austin

 The design of complex digital hardware is challenging and error-prone. With short design cycles and increasing complexity of designs, functional verification has become the most… (more)

Subjects/Keywords: Computer software – Verification; Digital electronics

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Mony, Hari, 1. (2008). Sequential redundancy identification using transformation-based verification. (Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/3890

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):

Mony, Hari, 1977-. “Sequential redundancy identification using transformation-based verification.” 2008. Thesis, University of Texas – Austin. Accessed April 19, 2019. http://hdl.handle.net/2152/3890.

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

MLA Handbook (7th Edition):

Mony, Hari, 1977-. “Sequential redundancy identification using transformation-based verification.” 2008. Web. 19 Apr 2019.

Vancouver:

Mony, Hari 1. Sequential redundancy identification using transformation-based verification. [Internet] [Thesis]. University of Texas – Austin; 2008. [cited 2019 Apr 19]. Available from: http://hdl.handle.net/2152/3890.

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

Council of Science Editors:

Mony, Hari 1. Sequential redundancy identification using transformation-based verification. [Thesis]. University of Texas – Austin; 2008. Available from: http://hdl.handle.net/2152/3890

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

18. Sumners, Robert W. Deductive mechanical verification of concurrent systems.

Degree: Electrical and Computer Engineering, 2005, University of Texas – Austin

 Society depends critically on the correct and efficient execution of computer programs. The requirements of correctness and efficiency are not independent or complimentary. The goal… (more)

Subjects/Keywords: Computer software – Verification

verification checked and assisted by a computer program and we will call this computer program a… …with the greater interest in more complete verification of hardware and software systems has… …Deductive Mechanical Verification of Concurrent Systems Publication No. Robert W… …depends critically on the correct and efficient execution of computer programs. The requirements… …often engenders complexity in the design, definition, and execution of computer programs which… 

Page 1 Page 2 Page 3 Page 4 Page 5 Page 6 Page 7

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Sumners, R. W. (2005). Deductive mechanical verification of concurrent systems. (Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/2114

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):

Sumners, Robert W. “Deductive mechanical verification of concurrent systems.” 2005. Thesis, University of Texas – Austin. Accessed April 19, 2019. http://hdl.handle.net/2152/2114.

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

MLA Handbook (7th Edition):

Sumners, Robert W. “Deductive mechanical verification of concurrent systems.” 2005. Web. 19 Apr 2019.

Vancouver:

Sumners RW. Deductive mechanical verification of concurrent systems. [Internet] [Thesis]. University of Texas – Austin; 2005. [cited 2019 Apr 19]. Available from: http://hdl.handle.net/2152/2114.

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

Council of Science Editors:

Sumners RW. Deductive mechanical verification of concurrent systems. [Thesis]. University of Texas – Austin; 2005. Available from: http://hdl.handle.net/2152/2114

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


Utah State University

19. Grover, Russell J. An Exploration of Formal Methods and Tools Applied to a Small Satellite Software System.

Degree: MS, Electrical and Computer Engineering, 2010, Utah State University

 Formal system modeling has been a topic of interest in the research community for many years. Modeling a system helps engineers understand it better and… (more)

Subjects/Keywords: formal; modeling; satellite; software; verification; Aerospace Engineering; Computer Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Grover, R. J. (2010). An Exploration of Formal Methods and Tools Applied to a Small Satellite Software System. (Masters Thesis). Utah State University. Retrieved from https://digitalcommons.usu.edu/etd/743

Chicago Manual of Style (16th Edition):

Grover, Russell J. “An Exploration of Formal Methods and Tools Applied to a Small Satellite Software System.” 2010. Masters Thesis, Utah State University. Accessed April 19, 2019. https://digitalcommons.usu.edu/etd/743.

MLA Handbook (7th Edition):

Grover, Russell J. “An Exploration of Formal Methods and Tools Applied to a Small Satellite Software System.” 2010. Web. 19 Apr 2019.

Vancouver:

Grover RJ. An Exploration of Formal Methods and Tools Applied to a Small Satellite Software System. [Internet] [Masters thesis]. Utah State University; 2010. [cited 2019 Apr 19]. Available from: https://digitalcommons.usu.edu/etd/743.

Council of Science Editors:

Grover RJ. An Exploration of Formal Methods and Tools Applied to a Small Satellite Software System. [Masters Thesis]. Utah State University; 2010. Available from: https://digitalcommons.usu.edu/etd/743


Washington State University

20. [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 April 19, 2019. 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. 19 Apr 2019.

Vancouver:

author] [. Fundamental studies on a decompositional and hybrid approach to automatic verification of component-based systems . [Internet] [Thesis]. Washington State University; 2005. [cited 2019 Apr 19]. 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


The Ohio State University

21. 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 April 19, 2019. http://rave.ohiolink.edu/etdc/view?acc_num=osu1293463269.

MLA Handbook (7th Edition):

Adcock, Bruce M. “Working Towards the Verified Software Process.” 2010. Web. 19 Apr 2019.

Vancouver:

Adcock BM. Working Towards the Verified Software Process. [Internet] [Doctoral dissertation]. The Ohio State University; 2010. [cited 2019 Apr 19]. 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


Louisiana State University

22. 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 April 19, 2019. etd-10242012-153450 ; https://digitalcommons.lsu.edu/gradschool_dissertations/1220.

MLA Handbook (7th Edition):

Peralta, Manuel Alfonso. “Perpetual requirements engineering.” 2012. Web. 19 Apr 2019.

Vancouver:

Peralta MA. Perpetual requirements engineering. [Internet] [Doctoral dissertation]. Louisiana State University; 2012. [cited 2019 Apr 19]. 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


Iowa State University

23. Patanasakpinyo, Thitivatr. Flattening methods for adaptive location-based software to user abilities.

Degree: 2017, Iowa State University

 Individual spatial visualization has been proved to be an important factor that impacts software usage performance, especially on location-based software, which has become a major… (more)

Subjects/Keywords: Adaptive User Interface Software; Address Verification; Location-based Software; Map; Spatial Visualization; Computer Sciences

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Patanasakpinyo, T. (2017). Flattening methods for adaptive location-based software to user abilities. (Thesis). Iowa State University. Retrieved from https://lib.dr.iastate.edu/etd/16191

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):

Patanasakpinyo, Thitivatr. “Flattening methods for adaptive location-based software to user abilities.” 2017. Thesis, Iowa State University. Accessed April 19, 2019. https://lib.dr.iastate.edu/etd/16191.

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

MLA Handbook (7th Edition):

Patanasakpinyo, Thitivatr. “Flattening methods for adaptive location-based software to user abilities.” 2017. Web. 19 Apr 2019.

Vancouver:

Patanasakpinyo T. Flattening methods for adaptive location-based software to user abilities. [Internet] [Thesis]. Iowa State University; 2017. [cited 2019 Apr 19]. Available from: https://lib.dr.iastate.edu/etd/16191.

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

Council of Science Editors:

Patanasakpinyo T. Flattening methods for adaptive location-based software to user abilities. [Thesis]. Iowa State University; 2017. Available from: https://lib.dr.iastate.edu/etd/16191

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


KTH

24. Berglund, Lasse. Executive Summaries in Software Model Checking.

Degree: TCS, 2018, KTH

Model checking is a technique used to verify whether a model meets a given specification by exhaustively and automatically checking each reachable state in… (more)

Subjects/Keywords: program verification; software engineering; concurrent programming; model checking; software model checking; Computer Sciences; Datavetenskap (datalogi)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Berglund, L. (2018). Executive Summaries in Software Model Checking. (Thesis). KTH. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-231433

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):

Berglund, Lasse. “Executive Summaries in Software Model Checking.” 2018. Thesis, KTH. Accessed April 19, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-231433.

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

MLA Handbook (7th Edition):

Berglund, Lasse. “Executive Summaries in Software Model Checking.” 2018. Web. 19 Apr 2019.

Vancouver:

Berglund L. Executive Summaries in Software Model Checking. [Internet] [Thesis]. KTH; 2018. [cited 2019 Apr 19]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-231433.

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

Council of Science Editors:

Berglund L. Executive Summaries in Software Model Checking. [Thesis]. KTH; 2018. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-231433

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


University of Florida

25. Sirota, Vitaliy. Development of MYTEST Switchboard for Automated Testing of NI’S myDAQ.

Degree: 2010, University of Florida

 National Instruments has recently come out with a new product called myDAQ. myDAQ is an affordable, portable data acquisition device that has most of the… (more)

Subjects/Keywords: Data acquisition; Diodes; Engineering; Function generators; Oscilloscopes; Resistors; Signals; Software; Computer software – Verification; Engineering instruments

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Sirota, V. (2010). Development of MYTEST Switchboard for Automated Testing of NI’S myDAQ. (Thesis). University of Florida. Retrieved from http://ufdc.ufl.edu/AA00059635

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):

Sirota, Vitaliy. “Development of MYTEST Switchboard for Automated Testing of NI’S myDAQ.” 2010. Thesis, University of Florida. Accessed April 19, 2019. http://ufdc.ufl.edu/AA00059635.

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

MLA Handbook (7th Edition):

Sirota, Vitaliy. “Development of MYTEST Switchboard for Automated Testing of NI’S myDAQ.” 2010. Web. 19 Apr 2019.

Vancouver:

Sirota V. Development of MYTEST Switchboard for Automated Testing of NI’S myDAQ. [Internet] [Thesis]. University of Florida; 2010. [cited 2019 Apr 19]. Available from: http://ufdc.ufl.edu/AA00059635.

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

Council of Science Editors:

Sirota V. Development of MYTEST Switchboard for Automated Testing of NI’S myDAQ. [Thesis]. University of Florida; 2010. Available from: http://ufdc.ufl.edu/AA00059635

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


Stellenbosch University

26. 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 April 19, 2019. 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. 19 Apr 2019.

Vancouver:

Breytenbach JA. Design and evaluation of a formula cache for SMT-based bounded model checking tools. [Internet] [Masters thesis]. Stellenbosch University; 2018. [cited 2019 Apr 19]. 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


Texas State University – San Marcos

27. 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 April 19, 2019. 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. 19 Apr 2019.

Vancouver:

Siroky CS. Verification of Architectual Constraints on Interaction Protocols Among Modules. [Internet] [Masters thesis]. Texas State University – San Marcos; 2015. [cited 2019 Apr 19]. 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

28. 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 April 19, 2019. 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. 19 Apr 2019.

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 2019 Apr 19]. 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 Pennsylvania

29. Park, Junkil. Automatic Verification Of Linear Controller Software.

Degree: 2018, University of Pennsylvania

 Many safety-critical cyber-physical systems have a software-based controller at their core. Since the system behavior relies on the operation of the controller, it is imperative… (more)

Subjects/Keywords: Controller software verification; Cyber-Physical Systems; Model-based development; Computer Engineering; Computer Sciences

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Park, J. (2018). Automatic Verification Of Linear Controller Software. (Thesis). University of Pennsylvania. Retrieved from https://repository.upenn.edu/edissertations/2849

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):

Park, Junkil. “Automatic Verification Of Linear Controller Software.” 2018. Thesis, University of Pennsylvania. Accessed April 19, 2019. https://repository.upenn.edu/edissertations/2849.

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

MLA Handbook (7th Edition):

Park, Junkil. “Automatic Verification Of Linear Controller Software.” 2018. Web. 19 Apr 2019.

Vancouver:

Park J. Automatic Verification Of Linear Controller Software. [Internet] [Thesis]. University of Pennsylvania; 2018. [cited 2019 Apr 19]. Available from: https://repository.upenn.edu/edissertations/2849.

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

Council of Science Editors:

Park J. Automatic Verification Of Linear Controller Software. [Thesis]. University of Pennsylvania; 2018. Available from: https://repository.upenn.edu/edissertations/2849

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


University of Western Sydney

30. 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 April 19, 2019. 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. 19 Apr 2019.

Vancouver:

Kelly MA. The tree-like local model update with domain constraints. [Internet] [Thesis]. University of Western Sydney; 2011. [cited 2019 Apr 19]. 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

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

.