02582nam 22005175 450 99646605410331620200703060009.03-642-41071-510.1007/978-3-642-41071-0(CKB)3710000000015962(SSID)ssj0000988142(PQKBManifestationID)11621610(PQKBTitleCode)TC0000988142(PQKBWorkID)10950249(PQKB)10062220(DE-He213)978-3-642-41071-0(MiAaPQ)EBC3093489(PPN)172430445(EXLCZ)99371000000001596220130830d2013 u| 0engurnn|008mamaatxtccrFormal Methods: Foundations and Applications[electronic resource] 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings /edited by Juliano Iyoda, Leonardo de Moura1st ed. 2013.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2013.1 online resource (X, 243 p. 81 illus.) Programming and Software Engineering ;8195Bibliographic Level Mode of Issuance: Monograph3-642-41070-7 Foundational and methodological issues in formal methods -- Design and analysis of software systems -- Design and analysis of hardware systems.- Applications in various domains.This book constitutes the refereed proceedings of the 16th Brazilian Symposium on Formal Methods, SBMF 2013, held in Brasilia, Brazil, in September/October 2013. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.Programming and Software Engineering ;8195Computer scienceComputer Science, generalhttps://scigraph.springernature.com/ontologies/product-market-codes/I00001Computer science.Computer Science, general.004Iyoda Julianoedthttp://id.loc.gov/vocabulary/relators/edtde Moura Leonardoedthttp://id.loc.gov/vocabulary/relators/edtBOOK996466054103316Formal Methods: Foundations and Applications773789UNISA