View Proposal

Proposer
Oleksandr Letychevskyi
Title
Formal specifications and verification of software requirements
Goal
Investigate modern methods of software requirements verification for safety-critical systems.
Description
Using the example of requirements for software, create its formal specification and apply formal verification methods, such as model checking or automatic theorem proving. Identify the properties of the program that need to be proved or disproved.
Resources
Background
Url
Difficulty Level
High
Ethical Approval
None
Number Of Students
2
Supervisor
Oleksandr Letychevskyi
Keywords
formal verification, model-checking, automatic theorem-proving
Degrees
Back to List