Cornell University
Library
Cornell UniversityLibrary

eCommons

Help
Log In(current)
  1. Home
  2. Cornell University Graduate School
  3. Cornell Theses and Dissertations
  4. CSMOP: A Runtime Verification Tool For C# Programs

CSMOP: A Runtime Verification Tool For C# Programs

File(s)
MarquesValdivia_cornell_0058O_12141.pdf (219.58 KB)
Permanent Link(s)
https://doi.org/10.7298/w99n-ch59
https://hdl.handle.net/1813/116308
Collections
Cornell Theses and Dissertations
Author
Marques Valdivia, Valeria
Abstract

Runtime verification is a technique for evaluating the adherence of a program’s execution to a set of specifications. It is both more lightweight than other formal methods and more robust than unit testing, making it a promising candidate for industry use. There has been a considerable amount of research over the years on how to make runtime verification as efficient and useful as possible, but there is currently no developer-centric tool to help perform runtime verification on C# programs. In this thesis, we present CSMOP, a tool which addresses this need, targeting .NET 8 systems. CSMOP uses instrumentation to find relevant events as they occur at runtime, and takes a monitor-oriented approach to verifying the given sequence of events. Through JSON files, it accepts specifications written in one of three logical formalisms: finite state machine, linear temporal logic, and extended regular expressions. Upon program termination, CSMOP reports all violations of the specifications which occurred, along with the location where the violation happened. It uses modern algorithms in its monitors, monitor management, and paramatrization. It scales efficiently in terms of the number of encountered events and parameters. CSMOP includes a default set of specifications for the C# standard library, but can be easily extended for custom specifications.

Description
40 pages
Date Issued
2024-08
Keywords
Formal Methods
•
Runtime Verification
•
Software
Committee Chair
Legunsen, Owolabi
Committee Member
Bhattacharjee, Tapomayukh
Degree Discipline
Computer Science
Degree Name
M.S., Computer Science
Degree Level
Master of Science
Type
dissertation or thesis
Link(s) to Catalog Record
https://newcatalog.library.cornell.edu/catalog/16611830

Site Statistics | Help

About eCommons | Policies | Terms of use | Contact Us

copyright © 2002-2026 Cornell University Library | Privacy | Web Accessibility Assistance