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:(Software Verification). Showing records 1 – 30 of 267 total matches.

[1] [2] [3] [4] [5] [6] [7] [8] [9]

Search Limiters

Last 2 Years | English Only

Universities

Department

Degrees

Levels

Country

▼ Search Limiters


McMaster University

1. Zhong, Hongsheng. Secure and Trusted Partial White-box Verification Based on Garbled Circuits.

Degree: MSc, 2016, McMaster University

Verification is a process that checks whether a program G, implemented by a devel- oper, correctly complies with the corresponding requirement specifications. A verifier, whose… (more)

Subjects/Keywords: Cryptography; Software Engineering; Software Verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Zhong, H. (2016). Secure and Trusted Partial White-box Verification Based on Garbled Circuits. (Masters Thesis). McMaster University. Retrieved from http://hdl.handle.net/11375/20551

Chicago Manual of Style (16th Edition):

Zhong, Hongsheng. “Secure and Trusted Partial White-box Verification Based on Garbled Circuits.” 2016. Masters Thesis, McMaster University. Accessed January 18, 2020. http://hdl.handle.net/11375/20551.

MLA Handbook (7th Edition):

Zhong, Hongsheng. “Secure and Trusted Partial White-box Verification Based on Garbled Circuits.” 2016. Web. 18 Jan 2020.

Vancouver:

Zhong H. Secure and Trusted Partial White-box Verification Based on Garbled Circuits. [Internet] [Masters thesis]. McMaster University; 2016. [cited 2020 Jan 18]. Available from: http://hdl.handle.net/11375/20551.

Council of Science Editors:

Zhong H. Secure and Trusted Partial White-box Verification Based on Garbled Circuits. [Masters Thesis]. McMaster University; 2016. Available from: http://hdl.handle.net/11375/20551


Delft University of Technology

2. Den Hollander, M.A. Automatic Unit Test Generation:.

Degree: 2010, Delft University of Technology

 While test generators have the potential to significantly reduce the costs of software testing and have the ability to increase the quality of the software(more)

Subjects/Keywords: unit testing; software verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Den Hollander, M. A. (2010). Automatic Unit Test Generation:. (Masters Thesis). Delft University of Technology. Retrieved from http://resolver.tudelft.nl/uuid:409dd713-b5c1-4679-bc11-4c1d88f8a2af

Chicago Manual of Style (16th Edition):

Den Hollander, M A. “Automatic Unit Test Generation:.” 2010. Masters Thesis, Delft University of Technology. Accessed January 18, 2020. http://resolver.tudelft.nl/uuid:409dd713-b5c1-4679-bc11-4c1d88f8a2af.

MLA Handbook (7th Edition):

Den Hollander, M A. “Automatic Unit Test Generation:.” 2010. Web. 18 Jan 2020.

Vancouver:

Den Hollander MA. Automatic Unit Test Generation:. [Internet] [Masters thesis]. Delft University of Technology; 2010. [cited 2020 Jan 18]. Available from: http://resolver.tudelft.nl/uuid:409dd713-b5c1-4679-bc11-4c1d88f8a2af.

Council of Science Editors:

Den Hollander MA. Automatic Unit Test Generation:. [Masters Thesis]. Delft University of Technology; 2010. Available from: http://resolver.tudelft.nl/uuid:409dd713-b5c1-4679-bc11-4c1d88f8a2af


University of Waterloo

3. Wu, Chun Wah Wallace. Methods for Reducing Monitoring Overhead in Runtime Verification.

Degree: 2013, University of Waterloo

 Runtime verification is a lightweight technique that serves to complement existing approaches, such as formal methods and testing, to ensure system correctness. In runtime verification,… (more)

Subjects/Keywords: software; runtime verification; runtime monitoring

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Wu, C. W. W. (2013). Methods for Reducing Monitoring Overhead in Runtime Verification. (Thesis). University of Waterloo. Retrieved from http://hdl.handle.net/10012/7215

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

Wu, Chun Wah Wallace. “Methods for Reducing Monitoring Overhead in Runtime Verification.” 2013. Thesis, University of Waterloo. Accessed January 18, 2020. http://hdl.handle.net/10012/7215.

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

MLA Handbook (7th Edition):

Wu, Chun Wah Wallace. “Methods for Reducing Monitoring Overhead in Runtime Verification.” 2013. Web. 18 Jan 2020.

Vancouver:

Wu CWW. Methods for Reducing Monitoring Overhead in Runtime Verification. [Internet] [Thesis]. University of Waterloo; 2013. [cited 2020 Jan 18]. Available from: http://hdl.handle.net/10012/7215.

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

Council of Science Editors:

Wu CWW. Methods for Reducing Monitoring Overhead in Runtime Verification. [Thesis]. University of Waterloo; 2013. Available from: http://hdl.handle.net/10012/7215

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


University of Illinois – Urbana-Champaign

4. Pek, Edgar. Automated deductive verification of systems software.

Degree: PhD, Computer Science, 2015, University of Illinois – Urbana-Champaign

Software has become an integral part of our everyday lives, and so is our reliance on his correct functioning. Systems software lies at the heart… (more)

Subjects/Keywords: software verification; software security; automated deductive reasoning

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Pek, E. (2015). Automated deductive verification of systems software. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/88993

Chicago Manual of Style (16th Edition):

Pek, Edgar. “Automated deductive verification of systems software.” 2015. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed January 18, 2020. http://hdl.handle.net/2142/88993.

MLA Handbook (7th Edition):

Pek, Edgar. “Automated deductive verification of systems software.” 2015. Web. 18 Jan 2020.

Vancouver:

Pek E. Automated deductive verification of systems software. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2015. [cited 2020 Jan 18]. Available from: http://hdl.handle.net/2142/88993.

Council of Science Editors:

Pek E. Automated deductive verification of systems software. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2015. Available from: http://hdl.handle.net/2142/88993


University of Minnesota

5. Lee, Young Sub. Evaluation of the Benefits and Limitations of Verification Activities in Developing a Critical System using Model-Based Development.

Degree: M.S.E.E., Electrical Engineering, 2018, University of Minnesota

 In developing safety-critical cyber-physical systems, model-based development (MBD) promotes design and verification activities at the model-level, which is an abstract description of the behavior of… (more)

Subjects/Keywords: Model-Based Development; Software Development; Software Verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Lee, Y. S. (2018). Evaluation of the Benefits and Limitations of Verification Activities in Developing a Critical System using Model-Based Development. (Masters Thesis). University of Minnesota. Retrieved from http://hdl.handle.net/11299/200995

Chicago Manual of Style (16th Edition):

Lee, Young Sub. “Evaluation of the Benefits and Limitations of Verification Activities in Developing a Critical System using Model-Based Development.” 2018. Masters Thesis, University of Minnesota. Accessed January 18, 2020. http://hdl.handle.net/11299/200995.

MLA Handbook (7th Edition):

Lee, Young Sub. “Evaluation of the Benefits and Limitations of Verification Activities in Developing a Critical System using Model-Based Development.” 2018. Web. 18 Jan 2020.

Vancouver:

Lee YS. Evaluation of the Benefits and Limitations of Verification Activities in Developing a Critical System using Model-Based Development. [Internet] [Masters thesis]. University of Minnesota; 2018. [cited 2020 Jan 18]. Available from: http://hdl.handle.net/11299/200995.

Council of Science Editors:

Lee YS. Evaluation of the Benefits and Limitations of Verification Activities in Developing a Critical System using Model-Based Development. [Masters Thesis]. University of Minnesota; 2018. Available from: http://hdl.handle.net/11299/200995


University of Oxford

6. 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 January 18, 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. 18 Jan 2020.

Vancouver:

Kesseli P. Semantic refactorings. [Internet] [Doctoral dissertation]. University of Oxford; 2017. [cited 2020 Jan 18]. 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


Stellenbosch University

7. 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 January 18, 2020. http://hdl.handle.net/10019/9983.

MLA Handbook (7th Edition):

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

Vancouver:

Rajaona SF. An algebraic framework for reasoning about security. [Internet] [Masters thesis]. Stellenbosch University; 2013. [cited 2020 Jan 18]. 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

8. Lewis, Matt. Precise verification of C programs.

Degree: PhD, 2014, University of Oxford

 Most current approaches to software verification are one-sided  – a safety prover will try to prove that a program is safe, while a bug-finding tool… (more)

Subjects/Keywords: 005.3; Theory and automated verification; Software verification; program synthesis; software engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Lewis, M. (2014). Precise verification of C programs. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:34b5ed5a-160b-4e2c-8dac-eab62a24f78c ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.664841

Chicago Manual of Style (16th Edition):

Lewis, Matt. “Precise verification of C programs.” 2014. Doctoral Dissertation, University of Oxford. Accessed January 18, 2020. http://ora.ox.ac.uk/objects/uuid:34b5ed5a-160b-4e2c-8dac-eab62a24f78c ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.664841.

MLA Handbook (7th Edition):

Lewis, Matt. “Precise verification of C programs.” 2014. Web. 18 Jan 2020.

Vancouver:

Lewis M. Precise verification of C programs. [Internet] [Doctoral dissertation]. University of Oxford; 2014. [cited 2020 Jan 18]. Available from: http://ora.ox.ac.uk/objects/uuid:34b5ed5a-160b-4e2c-8dac-eab62a24f78c ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.664841.

Council of Science Editors:

Lewis M. Precise verification of C programs. [Doctoral Dissertation]. University of Oxford; 2014. Available from: http://ora.ox.ac.uk/objects/uuid:34b5ed5a-160b-4e2c-8dac-eab62a24f78c ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.664841


University of Oxford

9. Kattenbelt, Mark Alex. Automated quantitative software verification.

Degree: PhD, 2010, University of Oxford

 Many software systems exhibit probabilistic behaviour, either added explicitly, to improve performance or to break symmetry, or implicitly, through interaction with unreliable networks or faulty… (more)

Subjects/Keywords: 005.3; Theory and automated verification; model checking; quantitative; verification; software; formal methods; formal verification; software verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kattenbelt, M. A. (2010). Automated quantitative software verification. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:62430df4-7fdf-4c4f-b3cd-97ba8912c9f5 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.540281

Chicago Manual of Style (16th Edition):

Kattenbelt, Mark Alex. “Automated quantitative software verification.” 2010. Doctoral Dissertation, University of Oxford. Accessed January 18, 2020. http://ora.ox.ac.uk/objects/uuid:62430df4-7fdf-4c4f-b3cd-97ba8912c9f5 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.540281.

MLA Handbook (7th Edition):

Kattenbelt, Mark Alex. “Automated quantitative software verification.” 2010. Web. 18 Jan 2020.

Vancouver:

Kattenbelt MA. Automated quantitative software verification. [Internet] [Doctoral dissertation]. University of Oxford; 2010. [cited 2020 Jan 18]. Available from: http://ora.ox.ac.uk/objects/uuid:62430df4-7fdf-4c4f-b3cd-97ba8912c9f5 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.540281.

Council of Science Editors:

Kattenbelt MA. Automated quantitative software verification. [Doctoral Dissertation]. University of Oxford; 2010. Available from: http://ora.ox.ac.uk/objects/uuid:62430df4-7fdf-4c4f-b3cd-97ba8912c9f5 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.540281

10. Moore, Brandon Michael. Coinductive program verification.

Degree: PhD, Computer Science, 2016, University of Illinois – Urbana-Champaign

 We present a program-verification approach based on coinduction, which makes it feasible to verify programs given an operational semantics of a programming language, without constructing… (more)

Subjects/Keywords: Program Verification; Coinduction; Operational Semantics; Formal Methods; Software Verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Moore, B. M. (2016). Coinductive program verification. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/95372

Chicago Manual of Style (16th Edition):

Moore, Brandon Michael. “Coinductive program verification.” 2016. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed January 18, 2020. http://hdl.handle.net/2142/95372.

MLA Handbook (7th Edition):

Moore, Brandon Michael. “Coinductive program verification.” 2016. Web. 18 Jan 2020.

Vancouver:

Moore BM. Coinductive program verification. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2016. [cited 2020 Jan 18]. Available from: http://hdl.handle.net/2142/95372.

Council of Science Editors:

Moore BM. Coinductive program verification. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2016. Available from: http://hdl.handle.net/2142/95372


University of Oxford

11. Ramsay, Steven J. Intersection types and higer-order model checking.

Degree: PhD, 2014, University of Oxford

 Higher-order recursion schemes are systems of equations that are used to define finite and infinite labelled trees. Since, as Ong has shown, the trees defined… (more)

Subjects/Keywords: 005.3; 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):

Ramsay, S. J. (2014). Intersection types and higer-order model checking. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:46b7bc70-3dfe-476e-92e7-245b7629ae4e ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.596036

Chicago Manual of Style (16th Edition):

Ramsay, Steven J. “Intersection types and higer-order model checking.” 2014. Doctoral Dissertation, University of Oxford. Accessed January 18, 2020. http://ora.ox.ac.uk/objects/uuid:46b7bc70-3dfe-476e-92e7-245b7629ae4e ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.596036.

MLA Handbook (7th Edition):

Ramsay, Steven J. “Intersection types and higer-order model checking.” 2014. Web. 18 Jan 2020.

Vancouver:

Ramsay SJ. Intersection types and higer-order model checking. [Internet] [Doctoral dissertation]. University of Oxford; 2014. [cited 2020 Jan 18]. Available from: http://ora.ox.ac.uk/objects/uuid:46b7bc70-3dfe-476e-92e7-245b7629ae4e ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.596036.

Council of Science Editors:

Ramsay SJ. Intersection types and higer-order model checking. [Doctoral Dissertation]. University of Oxford; 2014. Available from: http://ora.ox.ac.uk/objects/uuid:46b7bc70-3dfe-476e-92e7-245b7629ae4e ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.596036


University of Utah

12. Pagariya, Rohit. Direct equivalence testing of embedded software.

Degree: MS, School of Computing, 2011, University of Utah

 Direct equivalence testing is a framework for detecting errors in C compilers and application programs that exploits the fact that program semantics should be preserved… (more)

Subjects/Keywords: Compiler testing; Embedded software; Equivalence testing; Verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Pagariya, R. (2011). Direct equivalence testing of embedded software. (Masters Thesis). University of Utah. Retrieved from http://content.lib.utah.edu/cdm/singleitem/collection/etd3/id/48/rec/740

Chicago Manual of Style (16th Edition):

Pagariya, Rohit. “Direct equivalence testing of embedded software.” 2011. Masters Thesis, University of Utah. Accessed January 18, 2020. http://content.lib.utah.edu/cdm/singleitem/collection/etd3/id/48/rec/740.

MLA Handbook (7th Edition):

Pagariya, Rohit. “Direct equivalence testing of embedded software.” 2011. Web. 18 Jan 2020.

Vancouver:

Pagariya R. Direct equivalence testing of embedded software. [Internet] [Masters thesis]. University of Utah; 2011. [cited 2020 Jan 18]. Available from: http://content.lib.utah.edu/cdm/singleitem/collection/etd3/id/48/rec/740.

Council of Science Editors:

Pagariya R. Direct equivalence testing of embedded software. [Masters Thesis]. University of Utah; 2011. Available from: http://content.lib.utah.edu/cdm/singleitem/collection/etd3/id/48/rec/740


Bond University

13. 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 January 18, 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. 18 Jan 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 Jan 18]. 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


The Ohio State University

14. 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 January 18, 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. 18 Jan 2020.

Vancouver:

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

15. Oliveira, João Paulo dos Santos. Rabbit: A novel approach to find data-races during state-space exploration .

Degree: 2012, Universidade Federal de Pernambuco

 Data-races are an important kind of error in concurrent shared-memory programs. Software model checking is a popular approach to find them. This research proposes a… (more)

Subjects/Keywords: Concorrency; Software Verification; Model Checking; Race conditions

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Oliveira, J. P. d. S. (2012). Rabbit: A novel approach to find data-races during state-space exploration . (Thesis). Universidade Federal de Pernambuco. Retrieved from http://repositorio.ufpe.br/handle/123456789/10891

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

Oliveira, João Paulo dos Santos. “Rabbit: A novel approach to find data-races during state-space exploration .” 2012. Thesis, Universidade Federal de Pernambuco. Accessed January 18, 2020. http://repositorio.ufpe.br/handle/123456789/10891.

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

MLA Handbook (7th Edition):

Oliveira, João Paulo dos Santos. “Rabbit: A novel approach to find data-races during state-space exploration .” 2012. Web. 18 Jan 2020.

Vancouver:

Oliveira JPdS. Rabbit: A novel approach to find data-races during state-space exploration . [Internet] [Thesis]. Universidade Federal de Pernambuco; 2012. [cited 2020 Jan 18]. Available from: http://repositorio.ufpe.br/handle/123456789/10891.

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

Council of Science Editors:

Oliveira JPdS. Rabbit: A novel approach to find data-races during state-space exploration . [Thesis]. Universidade Federal de Pernambuco; 2012. Available from: http://repositorio.ufpe.br/handle/123456789/10891

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


Boston University

16. 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 January 18, 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. 18 Jan 2020.

Vancouver:

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


University of Oklahoma

17. Ralston, Ryan. Translating Clojure to ACL2 for Verification.

Degree: PhD, 2016, University of Oklahoma

Software spends a significant portion of its life-cycle in the maintenance phase and over 20% of the maintenance effort is fixing defects. Formal methods, including… (more)

Subjects/Keywords: Software Verification; Formal Methods; Theorem Proving

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ralston, R. (2016). Translating Clojure to ACL2 for Verification. (Doctoral Dissertation). University of Oklahoma. Retrieved from http://hdl.handle.net/11244/42982

Chicago Manual of Style (16th Edition):

Ralston, Ryan. “Translating Clojure to ACL2 for Verification.” 2016. Doctoral Dissertation, University of Oklahoma. Accessed January 18, 2020. http://hdl.handle.net/11244/42982.

MLA Handbook (7th Edition):

Ralston, Ryan. “Translating Clojure to ACL2 for Verification.” 2016. Web. 18 Jan 2020.

Vancouver:

Ralston R. Translating Clojure to ACL2 for Verification. [Internet] [Doctoral dissertation]. University of Oklahoma; 2016. [cited 2020 Jan 18]. Available from: http://hdl.handle.net/11244/42982.

Council of Science Editors:

Ralston R. Translating Clojure to ACL2 for Verification. [Doctoral Dissertation]. University of Oklahoma; 2016. Available from: http://hdl.handle.net/11244/42982


University of Newcastle

18. Hogavanaghatta Kumaraswamy, Jnanamurthy. Model-driven engineering to enhance the reliability of software development by verifying system properties and detecting clones.

Degree: PhD, 2019, University of Newcastle

Research Doctorate - Doctor of Philosophy (PhD)

Computer software is used in almost every facet of day-to-day life, such as air conditioners, refrigerators, washing machines,… (more)

Subjects/Keywords: formal verification; model-driven engineering; software clones

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Hogavanaghatta Kumaraswamy, J. (2019). Model-driven engineering to enhance the reliability of software development by verifying system properties and detecting clones. (Doctoral Dissertation). University of Newcastle. Retrieved from http://hdl.handle.net/1959.13/1397849

Chicago Manual of Style (16th Edition):

Hogavanaghatta Kumaraswamy, Jnanamurthy. “Model-driven engineering to enhance the reliability of software development by verifying system properties and detecting clones.” 2019. Doctoral Dissertation, University of Newcastle. Accessed January 18, 2020. http://hdl.handle.net/1959.13/1397849.

MLA Handbook (7th Edition):

Hogavanaghatta Kumaraswamy, Jnanamurthy. “Model-driven engineering to enhance the reliability of software development by verifying system properties and detecting clones.” 2019. Web. 18 Jan 2020.

Vancouver:

Hogavanaghatta Kumaraswamy J. Model-driven engineering to enhance the reliability of software development by verifying system properties and detecting clones. [Internet] [Doctoral dissertation]. University of Newcastle; 2019. [cited 2020 Jan 18]. Available from: http://hdl.handle.net/1959.13/1397849.

Council of Science Editors:

Hogavanaghatta Kumaraswamy J. Model-driven engineering to enhance the reliability of software development by verifying system properties and detecting clones. [Doctoral Dissertation]. University of Newcastle; 2019. Available from: http://hdl.handle.net/1959.13/1397849


Hong Kong University of Science and Technology

19. 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 January 18, 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. 18 Jan 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 Jan 18]. 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

20. 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 January 18, 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. 18 Jan 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 Jan 18]. 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


University of Limerick

21. Fogarty, Padraig Justin. Utilizing multicore architectures to enhance software verification in real-time embedded systems.

Degree: 2013, University of Limerick

 The hypothesis of this research is that new techniques are required to facilitate software verification on the highly-integrated, but resource constrained, real-time embedded systems; which… (more)

Subjects/Keywords: software verification; real-time embedded systems

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Fogarty, P. J. (2013). Utilizing multicore architectures to enhance software verification in real-time embedded systems. (Thesis). University of Limerick. Retrieved from http://hdl.handle.net/10344/3602

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

Fogarty, Padraig Justin. “Utilizing multicore architectures to enhance software verification in real-time embedded systems.” 2013. Thesis, University of Limerick. Accessed January 18, 2020. http://hdl.handle.net/10344/3602.

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

MLA Handbook (7th Edition):

Fogarty, Padraig Justin. “Utilizing multicore architectures to enhance software verification in real-time embedded systems.” 2013. Web. 18 Jan 2020.

Vancouver:

Fogarty PJ. Utilizing multicore architectures to enhance software verification in real-time embedded systems. [Internet] [Thesis]. University of Limerick; 2013. [cited 2020 Jan 18]. Available from: http://hdl.handle.net/10344/3602.

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

Council of Science Editors:

Fogarty PJ. Utilizing multicore architectures to enhance software verification in real-time embedded systems. [Thesis]. University of Limerick; 2013. Available from: http://hdl.handle.net/10344/3602

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

22. Healy, Andrew. Predicting SMT solver performance for software verification.

Degree: 2016, RIAN

 The approach Why3 takes to interfacing with a wide variety of interactive and automatic theorem provers works well: it is designed to overcome limitations on… (more)

Subjects/Keywords: Predicting; SMT solver performance; software verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Healy, A. (2016). Predicting SMT solver performance for software verification. (Thesis). RIAN. Retrieved from http://eprints.maynoothuniversity.ie/8770/

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

Healy, Andrew. “Predicting SMT solver performance for software verification.” 2016. Thesis, RIAN. Accessed January 18, 2020. http://eprints.maynoothuniversity.ie/8770/.

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

MLA Handbook (7th Edition):

Healy, Andrew. “Predicting SMT solver performance for software verification.” 2016. Web. 18 Jan 2020.

Vancouver:

Healy A. Predicting SMT solver performance for software verification. [Internet] [Thesis]. RIAN; 2016. [cited 2020 Jan 18]. Available from: http://eprints.maynoothuniversity.ie/8770/.

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

Council of Science Editors:

Healy A. Predicting SMT solver performance for software verification. [Thesis]. RIAN; 2016. Available from: http://eprints.maynoothuniversity.ie/8770/

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

23. Chunduri, Annapurna. An Effective Verification Strategy for Testing Distributed Automotive Embedded Software Functions: A Case Study.

Degree: 2016, , Department of Software Engineering

  Context. The share and importance of software within automotive vehicles is growing steadily. Most functionalities in modern vehicles, especially safety related functions like advanced… (more)

Subjects/Keywords: Verification Strategy; Automotive Embedded Software; Test Coverage; Software Engineering; Programvaruteknik

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Chunduri, A. (2016). An Effective Verification Strategy for Testing Distributed Automotive Embedded Software Functions: A Case Study. (Thesis). , Department of Software Engineering. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:bth-12805

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

Chunduri, Annapurna. “An Effective Verification Strategy for Testing Distributed Automotive Embedded Software Functions: A Case Study.” 2016. Thesis, , Department of Software Engineering. Accessed January 18, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-12805.

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

MLA Handbook (7th Edition):

Chunduri, Annapurna. “An Effective Verification Strategy for Testing Distributed Automotive Embedded Software Functions: A Case Study.” 2016. Web. 18 Jan 2020.

Vancouver:

Chunduri A. An Effective Verification Strategy for Testing Distributed Automotive Embedded Software Functions: A Case Study. [Internet] [Thesis]. , Department of Software Engineering; 2016. [cited 2020 Jan 18]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:bth-12805.

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

Council of Science Editors:

Chunduri A. An Effective Verification Strategy for Testing Distributed Automotive Embedded Software Functions: A Case Study. [Thesis]. , Department of Software Engineering; 2016. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:bth-12805

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


UCLA

24. Gao, Min. Applications of Formal And Semi-formal Verification on Software Testing, High-level Synthesis And Energy Internet.

Degree: Electrical Engineering, 2018, UCLA

 With the increasing power of computers and advances in constraint solving technologies, formal and semi-formal verification have received great attentions on many applications. Formal verification(more)

Subjects/Keywords: Electrical engineering; Energy internet; Formal verification; Functional verification; High-level Synthesis; Software testing

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Gao, M. (2018). Applications of Formal And Semi-formal Verification on Software Testing, High-level Synthesis And Energy Internet. (Thesis). UCLA. Retrieved from http://www.escholarship.org/uc/item/6jj2b6jn

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

Gao, Min. “Applications of Formal And Semi-formal Verification on Software Testing, High-level Synthesis And Energy Internet.” 2018. Thesis, UCLA. Accessed January 18, 2020. http://www.escholarship.org/uc/item/6jj2b6jn.

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

MLA Handbook (7th Edition):

Gao, Min. “Applications of Formal And Semi-formal Verification on Software Testing, High-level Synthesis And Energy Internet.” 2018. Web. 18 Jan 2020.

Vancouver:

Gao M. Applications of Formal And Semi-formal Verification on Software Testing, High-level Synthesis And Energy Internet. [Internet] [Thesis]. UCLA; 2018. [cited 2020 Jan 18]. Available from: http://www.escholarship.org/uc/item/6jj2b6jn.

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

Council of Science Editors:

Gao M. Applications of Formal And Semi-formal Verification on Software Testing, High-level Synthesis And Energy Internet. [Thesis]. UCLA; 2018. Available from: http://www.escholarship.org/uc/item/6jj2b6jn

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


Clemson University

25. 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 January 18, 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. 18 Jan 2020.

Vancouver:

Harton H. Mechanical and Modular Verification Condition Generation for Object-Based Software. [Internet] [Doctoral dissertation]. Clemson University; 2011. [cited 2020 Jan 18]. 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 Oxford

26. 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 January 18, 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. 18 Jan 2020.

Vancouver:

Neatherway RP. Higher-order model checking with traversals. [Internet] [Doctoral dissertation]. University of Oxford; 2014. [cited 2020 Jan 18]. 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


University of Illinois – Chicago

27. Bernasconi, Anna. Building Deductive Proofs of LTL Properties for Iteratively Refined Systems.

Degree: 2016, University of Illinois – Chicago

 Modern software development processes are evolving from sequential to increasingly agile and incremental paradigms. Verification, unavoidable step of a correct software production, cannot get left… (more)

Subjects/Keywords: formal software verification; model checking; deductive verification; requirements; incremental; deductive proof; deductive system

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bernasconi, A. (2016). Building Deductive Proofs of LTL Properties for Iteratively Refined Systems. (Thesis). University of Illinois – Chicago. Retrieved from http://hdl.handle.net/10027/20884

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

Bernasconi, Anna. “Building Deductive Proofs of LTL Properties for Iteratively Refined Systems.” 2016. Thesis, University of Illinois – Chicago. Accessed January 18, 2020. http://hdl.handle.net/10027/20884.

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

MLA Handbook (7th Edition):

Bernasconi, Anna. “Building Deductive Proofs of LTL Properties for Iteratively Refined Systems.” 2016. Web. 18 Jan 2020.

Vancouver:

Bernasconi A. Building Deductive Proofs of LTL Properties for Iteratively Refined Systems. [Internet] [Thesis]. University of Illinois – Chicago; 2016. [cited 2020 Jan 18]. Available from: http://hdl.handle.net/10027/20884.

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

Council of Science Editors:

Bernasconi A. Building Deductive Proofs of LTL Properties for Iteratively Refined Systems. [Thesis]. University of Illinois – Chicago; 2016. Available from: http://hdl.handle.net/10027/20884

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

28. Jaradat, Omar Tawffeeq Saleem. Automated Architecture-Based Verification of Safety-Critical Systems.

Degree: Design and Engineering, 2011, Mälardalen University

  Safety-critical systems require high quality and dependability levels, where system correctness and safety are major features to avoid any severe outcome. Time and cost… (more)

Subjects/Keywords: architecture-based verification; software-intensive systems; uppaal; modelling and verification; aadl; Fuel Level Estimation System

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Jaradat, O. T. S. (2011). Automated Architecture-Based Verification of Safety-Critical Systems. (Thesis). Mälardalen University. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-25207

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

Jaradat, Omar Tawffeeq Saleem. “Automated Architecture-Based Verification of Safety-Critical Systems.” 2011. Thesis, Mälardalen University. Accessed January 18, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-25207.

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

MLA Handbook (7th Edition):

Jaradat, Omar Tawffeeq Saleem. “Automated Architecture-Based Verification of Safety-Critical Systems.” 2011. Web. 18 Jan 2020.

Vancouver:

Jaradat OTS. Automated Architecture-Based Verification of Safety-Critical Systems. [Internet] [Thesis]. Mälardalen University; 2011. [cited 2020 Jan 18]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-25207.

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

Council of Science Editors:

Jaradat OTS. Automated Architecture-Based Verification of Safety-Critical Systems. [Thesis]. Mälardalen University; 2011. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-25207

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


Virginia Tech

29. Moustafa, Iman Saleh. Formal Specification and Verification of Data-Centric Web Services.

Degree: PhD, Computer Science, 2012, Virginia Tech

 In this thesis, we develop and evaluate a formal model and contracting framework for data-centric Web services. The central component of our framework is a… (more)

Subjects/Keywords: Formal Methods; Data Modeling; Software Specification and Verification; Formal Methods; Data Modeling; Software Specification and Verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Moustafa, I. S. (2012). Formal Specification and Verification of Data-Centric Web Services. (Doctoral Dissertation). Virginia Tech. Retrieved from http://hdl.handle.net/10919/26294

Chicago Manual of Style (16th Edition):

Moustafa, Iman Saleh. “Formal Specification and Verification of Data-Centric Web Services.” 2012. Doctoral Dissertation, Virginia Tech. Accessed January 18, 2020. http://hdl.handle.net/10919/26294.

MLA Handbook (7th Edition):

Moustafa, Iman Saleh. “Formal Specification and Verification of Data-Centric Web Services.” 2012. Web. 18 Jan 2020.

Vancouver:

Moustafa IS. Formal Specification and Verification of Data-Centric Web Services. [Internet] [Doctoral dissertation]. Virginia Tech; 2012. [cited 2020 Jan 18]. Available from: http://hdl.handle.net/10919/26294.

Council of Science Editors:

Moustafa IS. Formal Specification and Verification of Data-Centric Web Services. [Doctoral Dissertation]. Virginia Tech; 2012. Available from: http://hdl.handle.net/10919/26294


University of Florida

30. 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 January 18, 2020. 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. 18 Jan 2020.

Vancouver:

Sirota V. Development of MYTEST Switchboard for Automated Testing of NI’S myDAQ. [Internet] [Thesis]. University of Florida; 2010. [cited 2020 Jan 18]. 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

[1] [2] [3] [4] [5] [6] [7] [8] [9]

.