Formal verification of interactive computing systems: Opportunities and challenges
Formal verification has the potential to provide a level of evidence based assurance not possible by more traditional development approaches. For this potential to be fulfilled, its integration into existing practices must be achieved. Starting from this premise, the position paper discusses the opp...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | conferencePaper |
| Language: | eng |
| Published: |
2019
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1822/66938 |
| Country: | Portugal |
| Oai: | oai:repositorium.sdum.uminho.pt:1822/66938 |