A bounded model checker for SPARK programs

doi:10.1007/978-3-319-11936-6_3

Utilize este identificador para referenciar este registo: https://hdl.handle.net/1822/35223

Registo completo

Campo DC	Valor	Idioma
dc.contributor.author	Lourenço, Cláudio Belo	por
dc.contributor.author	Frade, M. J.	por
dc.contributor.author	Pinto, Jorge Sousa	por
dc.date.accessioned	2015-05-20T13:41:38Z	-
dc.date.available	2015-05-20T13:41:38Z	-
dc.date.issued	2014	-
dc.identifier.citation	C. B. Lourenço, M. J. Frade, and J. S. Pinto. A Bounded Model Checker for SPARK Programs (tool paper). In Proceedings of Automated Technology for Verification and Analysis - 12th International Symposium (ATVA 2014), volume 8837 of Lecture Notes in Computer Science, pages 24–30, Berlin, Heidelberg, 2014. Springer-Verlag.	por
dc.identifier.isbn	978-3-319-11935-9	-
dc.identifier.issn	0302-9743	por
dc.identifier.uri	https://hdl.handle.net/1822/35223	-
dc.description.abstract	This paper discusses the design and implementation of a bounded model checker for SPARK code, and provides a proof of concept of the utility and practicality of bounded verification for SPARK.	por
dc.description.sponsorship	This work is funded by ERDF - European Regional Development Fund through the COMPETE Programme (operational programme for competitiveness) and by National Funds through the FCT - Fundacão para a Ciência e a Tecnologia (Portuguese Foundation for Science and Technology) within project FCOMP-01-0124-FEDER-020486.	por
dc.language.iso	eng	por
dc.publisher	Springer	por
dc.rights	openAccess	por
dc.subject	Bounded model checking of software	por
dc.subject	SPARK	por
dc.title	A bounded model checker for SPARK programs	por
dc.type	conferencePaper	por
dc.peerreviewed	yes	por
dc.relation.publisherversion	The original publication is available at www.springerlink.com	por
sdum.publicationstatus	published	por
oaire.citationStartPage	24	por
oaire.citationEndPage	30	por
oaire.citationTitle	Proceedings of Automated Technology for Verification and Analysis - 12th International Symposium (ATVA 2014), Lecture Notes in Computer Science	por
oaire.citationVolume	8837	por
dc.identifier.doi	10.1007/978-3-319-11936-6_3	por
dc.subject.fos	Ciências Naturais::Ciências da Computação e da Informação	por
dc.subject.fos	Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática	por
dc.subject.wos	Science & Technology	por
sdum.journal	Lecture Notes in Computer Science	por
sdum.conferencePublication	Proceedings of Automated Technology for Verification and Analysis - 12th International Symposium (ATVA 2014), Lecture Notes in Computer Science	-
Aparece nas coleções:	HASLab - Artigos em atas de conferências internacionais (texto completo)

Ficheiros deste registo:

Ficheiro	Descrição	Tamanho	Formato
2014_ATVA_14.pdf	Documento principal	317,17 kB	Adobe PDF	Ver/Abrir

Ver registo simples Sugerir correção Estatísticas

Citations

Altmetrics