2024-03-29T08:25:05Zhttps://repositorio-aberto.up.pt/oai/requestoai:repositorio-aberto.up.pt:10216/533392022-10-17T15:02:26Zcom_10216_9534col_10216_26739
2022-09-16T04:12:33Z
urn:hdl:10216/53339
A tool for automatic model extraction of Ada/SPARK programs
Faculdade de Ciências
Ciência de computadores, Ciências da computação e da informação
Computer science, Computer and information sciences
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.
2022-09-16T04:12:33Z
2022-09-16T04:12:33Z
2010
Capítulo ou Parte de Relatório
sigarra:48497
https://hdl.handle.net/10216/53339
eng
https://creativecommons.org/licenses/by-nc/4.0/
openAccess
oai:repositorio-aberto.up.pt:10216/1360472022-10-17T14:25:47Zcom_10216_9534col_10216_26739
2022-09-07T20:14:16Z
urn:hdl:10216/136047
On the Establishment of URBiNAT's Community of Practice (CoP)
Faculdade de Ciências
2022-09-07T20:14:16Z
2022-09-07T20:14:16Z
2020-07
Capítulo ou Parte de Relatório
sigarra:493800
https://hdl.handle.net/10216/136047
por
info:eu-repo/grantAgreement/COMISSÃO EUROPEIA/Horizon 2020 - Research and Innovation Framework Programme/776783//URBiNAT
restrictedAccess