Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Sheridan, Oisin"'
Formal verification of a software system relies on formalising the requirements to which it should adhere, which can be challenging. While formalising requirements from natural-language, we have dependencies that lead to duplication of information ac
Externí odkaz:
http://arxiv.org/abs/2202.05816
Like software, requirements evolve and change frequently during the development process. Refactoring is the process of reorganising software without changing its behaviour, to make it easier to understand and modify. We propose refactoring for formal
Externí odkaz:
http://arxiv.org/abs/2201.04531
[Context & motivation] Eliciting requirements that are detailed and logical enough to be amenable to formal verification is a difficult task. Multiple tools exist for requirements elicitation and some of these also support formalisation of requiremen
Externí odkaz:
http://arxiv.org/abs/2112.04251
Verification of complex, safety-critical systems is a significant challenge. Manual testing and simulations are often used, but are only capable of exploring a subset of the system's reachable states. Formal methods are mathematically-based technique
Externí odkaz:
http://arxiv.org/abs/2110.09277