A case study on model checking and deductive verification techniques of safety-critical software
Due to the growing importance of the role that software plays in critical systems, software verification process is required to be rigorous and reliable. It is well-known that test activities cannot detect all the defects in safety-critical real time software systems. One way of complementing the te...
| Autor principal: | |
|---|---|
| Outros Autores: | , |
| Formato: | conferencePaper |
| Idioma: | eng |
| Publicado em: |
2012
|
| Assuntos: | |
| Texto completo: | http://hdl.handle.net/1822/35228 |
| País: | Portugal |
| Oai: | oai:repositorium.sdum.uminho.pt:1822/35228 |