{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T08:49:00Z","timestamp":1743065340588,"version":"3.40.3"},"publisher-location":"Cham","reference-count":11,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319240718"},{"type":"electronic","value":"9783319240725"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-24072-5_18","type":"book-chapter","created":{"date-parts":[[2015,9,3]],"date-time":"2015-09-03T10:29:44Z","timestamp":1441276184000},"page":"253-262","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":17,"title":["Formal Verification of Virtual Network Function Graphs in an SP-DevOps Context"],"prefix":"10.1007","author":[{"given":"Serena","family":"Spinoso","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matteo","family":"Virgilio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang","family":"John","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonio","family":"Manzalini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guido","family":"Marchetto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Riccardo","family":"Sisto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,9,23]]},"reference":[{"key":"18_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L Moura de","year":"2008","unstructured":"de Moura, L., Bj\u00f8rner, N.S.: Z3: An efficient smt solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337\u2013340. Springer, Heidelberg (2008)"},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"Jain, R., Paul, S.: Network virtualization and software defined networking for cloud computing: A survey. IEEE Communications Magazine 51(11), November 2013","DOI":"10.1109\/MCOM.2013.6658648"},{"key":"18_CR3","unstructured":"John, W., Meirosu, C.: Unify d4.1: Initial requirements for the sp-devops concept, universal node capabilities and proposed tools (2014). \n                      https:\/\/www.fp7-unify.eu\/index.php\/results.html#Deliverables"},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"John, W., Pentikousis, K., Agapiou, G., Jacob, E., Kind, M., Manzalini, A., Risso, F., Staessens, D., Steinert, R., Meirosu, C.: Research directions in network service chaining. In: 2013 IEEE SDN for SDN4FNS, November 2013","DOI":"10.1109\/SDN4FNS.2013.6702549"},{"key":"18_CR5","unstructured":"Kazemian, P., Varghese, G., McKeown, N.: Header space analysis: Static checking for networks. In: NSDI 2012. USENIX, San Jose (2012)"},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"Khurshid, A., Zou, X., Zhou, W., Caesar, M., Godfrey, P.B.: Veriflow: Verifying network-wide invariants in real time. In: NSDI 2013. USENIX, Lombard (2013)","DOI":"10.1145\/2342441.2342452"},{"key":"18_CR7","unstructured":"Meirosu, C.: m4.1: Sp-devops concept evolution and initial plans for prototyping (2014). \n                      https:\/\/www.fp7-unify.eu\/index.php\/results.html#Deliverables"},{"key":"18_CR8","unstructured":"Panda, A., Lahav, O., Argyraki, K.J., Sagiv, M., Shenker, S.: Verifying isolation properties in the presence of middleboxes. CoRR abs\/1409.7687 (2014)"},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"Porras, P., Shin, S., Yegneswaran, V., Fong, M., Tyson, M., Gu, G.: A security enforcement kernel for openflow networks. In: HotSDN 2012. ACM, New York (2012)","DOI":"10.1145\/2342441.2342466"},{"key":"18_CR10","unstructured":"Sharma, S., Coyne, B.: DevOps For Dummies. Limited IBM Edition\u2019 book, October 2013"},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"Son, S., Shin, S., Yegneswaran, V., Porras, P.A., Gu, G.: Model checking invariant security properties in openflow. In: ICC, pp. 1974\u20131979. IEEE (2013)","DOI":"10.1109\/ICC.2013.6654813"}],"container-title":["Lecture Notes in Computer Science","Service Oriented and Cloud Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-24072-5_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,7]],"date-time":"2019-09-07T20:03:00Z","timestamp":1567886580000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-24072-5_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319240718","9783319240725"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-24072-5_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"23 September 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}