Please use this identifier to cite or link to this item:
https://hdl.handle.net/10216/53339Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.creator | André Carvalho | |
| dc.creator | Nuno Silva | |
| dc.creator | Simão Melo de Sousa | |
| dc.creator | Nelma Moreira | |
| dc.date.accessioned | 2022-09-16T04:12:33Z | - |
| dc.date.available | 2022-09-16T04:12:33Z | - |
| dc.date.issued | 2010 | |
| dc.identifier.other | sigarra:48497 | |
| dc.identifier.uri | https://hdl.handle.net/10216/53339 | - |
| dc.description.abstract | This paper presents a brief description of the current work on a tool that analyses temporal behaviour of Ada/RavenSPARK programs. The approach takes as a basis two previous publications that introduce innovative methods in the field of verification of real-time systems. The development of a tool that automatically generates models (timed automata) from Ada/RavenSPARK source code and uses the model checker to verify timing properties is discussed. | |
| dc.language.iso | eng | |
| dc.rights | openAccess | |
| dc.rights.uri | https://creativecommons.org/licenses/by-nc/4.0/ | |
| dc.subject | Ciência de computadores, Ciências da computação e da informação | |
| dc.subject | Computer science, Computer and information sciences | |
| dc.title | A tool for automatic model extraction of Ada/SPARK programs | |
| dc.type | Capítulo ou Parte de Relatório | |
| dc.contributor.uporto | Faculdade de Ciências | |
| dc.subject.fos | Ciências exactas e naturais::Ciências da computação e da informação | |
| dc.subject.fos | Natural sciences::Computer and information sciences | |
| Appears in Collections: | FCUP - Capítulo ou Parte de Relatório | |
This item is licensed under a Creative Commons License
