Supporting requirements formulation in software formal verification
Formal verification tools such as model checkers have reached a stage were their applicability in the development process of dependable and safety critical systems has become viable. While the formal verification step in tools such as model checkers is fully automated, writing appropriate models and...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | conferencePaper |
| Language: | eng |
| Published: |
2011
|
| Online Access: | http://hdl.handle.net/1822/14597 |
| Country: | Portugal |
| Oai: | oai:repositorium.sdum.uminho.pt:1822/14597 |