Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/12651Registo completo
| Campo DC | Valor | Idioma |
|---|---|---|
| dc.contributor.author | Brito, Eduardo | - |
| dc.contributor.author | Pinto, Jorge Sousa | - |
| dc.date.accessioned | 2011-06-28T16:46:40Z | - |
| dc.date.available | 2011-06-28T16:46:40Z | - |
| dc.date.issued | 2010 | - |
| dc.identifier.isbn | 9783642135491 | por |
| dc.identifier.issn | 0302-9743 | por |
| dc.identifier.uri | https://hdl.handle.net/1822/12651 | - |
| dc.description.abstract | We present a case-study of developing a simple software module using contracts, and rigorously verifying it for safety and functional correctness using two very different programming languages, that share the fact that both are extensively used in safety-critical development: SPARK and C/ACSL. This case-study, together with other investigations not detailed here, allows us to establish a comparison in terms of specification effort and degree of automation obtained with each toolset. | por |
| dc.description.sponsorship | Fundação para a Ciência e a Tecnologia (FCT) | por |
| dc.language.iso | eng | por |
| dc.publisher | Springer | por |
| dc.rights | openAccess | por |
| dc.subject | Verification | por |
| dc.subject | ACSL | por |
| dc.subject | SPARK | por |
| dc.title | Program verification in SPARK and ACSL : a comparative case study | por |
| dc.type | conferencePaper | - |
| dc.peerreviewed | yes | por |
| dc.relation.publisherversion | http://www.springerlink.com/content/k287r16l7v745535/ | por |
| sdum.publicationstatus | published | por |
| oaire.citationStartPage | 97 | por |
| oaire.citationEndPage | 110 | por |
| oaire.citationTitle | Lecture Notes in Computer Science : Proceedings of Ada-Europe 2010 | por |
| oaire.citationVolume | 6106 | por |
| dc.identifier.doi | 10.1007/978-3-642-13550-7_7 | por |
| dc.subject.wos | Science & Technology | por |
| sdum.journal | Lecture Notes in Computer Science | por |
| sdum.conferencePublication | Proceedings of Ada-Europe 2010 | - |
| Aparece nas coleções: | DI/CCTC - Artigos (papers) | |
Ficheiros deste registo:
| Ficheiro | Descrição | Tamanho | Formato | |
|---|---|---|---|---|
| main.pdf | Documento principal | 162,8 kB | Adobe PDF | Ver/Abrir |
