{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,13]],"date-time":"2025-11-13T07:00:27Z","timestamp":1763017227131},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642336744"},{"type":"electronic","value":"9783642336751"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33675-1_38","type":"book-chapter","created":{"date-parts":[[2012,9,10]],"date-time":"2012-09-10T12:33:04Z","timestamp":1347280384000},"page":"409-416","source":"Crossref","is-referenced-by-count":12,"title":["Parallel NuSMV: A NuSMV Extension for the Verification of Complex Embedded Systems"],"prefix":"10.1007","author":[{"given":"Orlando","family":"Ferrante","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luca","family":"Benvenuti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leonardo","family":"Mangeruca","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christos","family":"Sofronis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto","family":"Ferrari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"38_CR1","doi-asserted-by":"crossref","unstructured":"Miller, S., Anderson, E., Wagner, L., Whalen, M., Heimdahl, M.: Formal verification of flight critical software. In: Proceedings of the AIAA Guidance, Navigation and Control Conference and Exhibit, pp. 15\u201318 (2005)","DOI":"10.2514\/6.2005-6431"},{"issue":"2","key":"38_CR2","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1145\/1646353.1646372","volume":"53","author":"S. Miller","year":"2010","unstructured":"Miller, S., Whalen, M., Cofer, D.: Software model checking takes off. Communications of the ACM\u00a053(2), 58\u201364 (2010)","journal-title":"Communications of the ACM"},{"key":"38_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/3-540-45657-0_29","volume-title":"Computer Aided Verification","author":"A. Cimatti","year":"2002","unstructured":"Cimatti, A., Clarke, E., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: NuSMV 2: An OpenSource Tool for Symbolic Model Checking. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.\u00a02404, pp. 359\u2013364. Springer, Heidelberg (2002)"},{"key":"38_CR4","unstructured":"http:\/\/sal.csl.sri.com\/"},{"key":"38_CR5","unstructured":"http:\/\/www.prover.com\/"},{"key":"38_CR6","unstructured":"Ball, T., Levin, V., Rajamani, S.K.: A decade of software model checking with slam"},{"key":"38_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-24756-2_1","volume-title":"Integrated Formal Methods","author":"T. Ball","year":"2004","unstructured":"Ball, T., Cook, B., Levin, V., Rajamani, S.K.: SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft. In: Boiten, E.A., Derrick, J., Smith, G.P. (eds.) IFM 2004. LNCS, vol.\u00a02999, pp. 1\u201320. Springer, Heidelberg (2004)"},{"key":"38_CR8","unstructured":"Godefroid, P.: Compositional dynamic test generation (extended abstract)"},{"key":"38_CR9","unstructured":"Burch, J.R., Clarke, E.M., Mcmillan, K.L., Dill, D.L., Hwang, L.J.: Symbolic model checking: 10 20 states and beyond (1990)"},{"key":"38_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/3-540-49059-0_14","volume-title":"Tools and Algorithms for the Construction of Analysis of Systems","author":"A. Biere","year":"1999","unstructured":"Biere, A., Cimatti, A., Clarke, E., Zhu, Y.: Symbolic Model Checking without BDDs. In: Cleaveland, W.R. (ed.) TACAS 1999. LNCS, vol.\u00a01579, pp. 193\u2013207. Springer, Heidelberg (1999)"},{"key":"38_CR11","unstructured":"Barrett, C., Sebastiani, R., Seshia, S., Tinelli, C.: Satisfiability modulo theories. In: Handbook of Satisfiability, vol. 4 (2009)"},{"key":"38_CR12","doi-asserted-by":"crossref","unstructured":"Hamadi, Y., Sais, L.: Manysat: a parallel sat solver. Journal on Satisfiability, Boolean Modeling and Computation, JSAT (2009)","DOI":"10.3233\/SAT190070"},{"key":"38_CR13","unstructured":"http:\/\/www.mathworks.com\/products\/simulink\/"},{"key":"38_CR14","unstructured":"Ferrari, A., Mangeruca, L., Ferrante, O., Mignogna, A.: Desyreml: a sysml profile for heterogeneous embedded systems. In: Embedded Real Time Software and Systems, ERTS (2012)"},{"key":"38_CR15","unstructured":"Een, N., S\u00f6rensson, N.: An extensible sat-solver (ver 1.2) (2003)"},{"key":"38_CR16","unstructured":"Herbstritt, M.: zchaff: Modifications and extensions (2001)"},{"key":"38_CR17","unstructured":"Murray, R.M., et al.: Feedback Systems An Introduction for Scientists and Engineers. Princenton University Press (2009)"},{"key":"38_CR18","doi-asserted-by":"crossref","unstructured":"Benvenuti, L., Ferrari, A., Mangeruca, L., Mazzi, E., Passerone, R., Sofronis, C.: A contract-based formalism for the specification of heterogeneous systems (invited). In: FDL, pp. 142\u2013147. IEEE (2008)","DOI":"10.1109\/FDL.2008.4641436"},{"key":"38_CR19","unstructured":"Ferrante, O., Codella, G., Sofronis, C., Mangeruca, L., Ferrari, A.: Verify contract-based designed discrete systems by simulation. In: INCOSE, EuSEC (2010)"},{"key":"38_CR20","doi-asserted-by":"crossref","unstructured":"Ferrante, O., Mignogna, A., Sofronis, C., Mangeruca, L., Ferrari, A.: Contract based design chain integration: An automotive domain case study. In: Applied Simulation and Modelling. ACTA Press (2011)","DOI":"10.2316\/P.2011.715-008"},{"key":"38_CR21","unstructured":"http:\/\/www.sprint-iot.eu\/"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33675-1_38.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T08:18:33Z","timestamp":1620116313000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33675-1_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642336744","9783642336751"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33675-1_38","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}