{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,30]],"date-time":"2026-03-30T02:30:33Z","timestamp":1774837833534,"version":"3.50.1"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/icssp.2012.6225979","type":"proceedings-article","created":{"date-parts":[[2012,7,9]],"date-time":"2012-07-09T17:25:57Z","timestamp":1341854757000},"page":"3-12","source":"Crossref","is-referenced-by-count":10,"title":["Simulation modeling of a large-scale formal verification process"],"prefix":"10.1109","author":[{"given":"He","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerwin","family":"Klein","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark","family":"Staples","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"June","family":"Andronick","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Liming","family":"Zhu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rafal","family":"Kolanski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1049\/ic:20040459"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1002\/spip.411"},{"key":"ref12","volume":"2283","author":"nipkow","year":"2002","journal-title":"Isabelle\/HOL - A Proof Assistant for Higher-Order Logic"},{"key":"ref13","first-page":"530","article-title":"Symbolic simulation: An ACL2 approach","volume":"1522","author":"strother moore","year":"1998","journal-title":"Formal Methods in Computer-Aided Design"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/1190216.1190234"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72426-1_5"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/234215.234473"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629596"},{"key":"ref6","first-page":"345","article-title":"Reflections on 10 years of software process simulation modelling: A systematic review","author":"zhang","year":"2008","journal-title":"International Conference on Software Process (ICSP '08) vol LNCS 5007"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227120"},{"key":"ref8","author":"brooks","year":"2010","journal-title":"The Design of Design Essays from A Computer Scientist"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14347-2_27"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"314","DOI":"10.1145\/196244.196392","article-title":"fitting formal methods into the design cycle","author":"mcmillan","year":"1994","journal-title":"31st Design Automation Conference"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1592434.1592436"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/SEW.2003.1270731"}],"event":{"name":"2012 International Conference on Software and System Process (ICSSP)","location":"Zurich, Switzerland","start":{"date-parts":[[2012,6,2]]},"end":{"date-parts":[[2012,6,3]]}},"container-title":["2012 International Conference on Software and System Process (ICSSP)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6219601\/6225948\/06225979.pdf?arnumber=6225979","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T17:08:03Z","timestamp":1497978483000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6225979\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/icssp.2012.6225979","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}