{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,21]],"date-time":"2024-07-21T07:10:15Z","timestamp":1721545815010},"reference-count":25,"publisher":"World Scientific Pub Co Pte Lt","issue":"01","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Model. Simul. Sci. Comput."],"published-print":{"date-parts":[[2016,3]]},"abstract":"<jats:p> In this paper, we propose an approach to formally verify and rigorously validate a simulation system against the specification of the real system. We implement the approach in a verification and validation calculator tool that takes as input a set of statements that capture the requirements, internal conditions of the system and expected outputs of the real system and produces as output whether the simulation satisfies the requirements, faithfully represents the internal conditions of the system and produces the expected outputs. We provide a use case to show how subject matter experts can apply the tool. <\/jats:p>","DOI":"10.1142\/s1793962316410014","type":"journal-article","created":{"date-parts":[[2016,2,24]],"date-time":"2016-02-24T01:49:00Z","timestamp":1456278540000},"page":"1641001","source":"Crossref","is-referenced-by-count":13,"title":["Formal methods, statistical debugging and exploratory analysis in support of system development: Towards a verification and validation calculator tool"],"prefix":"10.1142","volume":"07","author":[{"given":"Saikou Y.","family":"Diallo","sequence":"first","affiliation":[{"name":"Virginia Modeling, Analysis and Simulation Center, Old Dominion University, 1030 University Blvd. Suffolk, VA 23435, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ross","family":"Gore","sequence":"additional","affiliation":[{"name":"Virginia Modeling, Analysis and Simulation Center, Old Dominion University, 1030 University Blvd. Suffolk, VA 23435, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christopher J.","family":"Lynch","sequence":"additional","affiliation":[{"name":"Virginia Modeling, Analysis and Simulation Center, Old Dominion University, 1030 University Blvd. Suffolk, VA 23435, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jose J.","family":"Padilla","sequence":"additional","affiliation":[{"name":"Virginia Modeling, Analysis and Simulation Center, Old Dominion University, 1030 University Blvd. Suffolk, VA 23435, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2016,3,28]]},"reference":[{"key":"S1793962316410014BIB002","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2006.01.008"},{"key":"S1793962316410014BIB003","doi-asserted-by":"publisher","DOI":"10.1057\/jos.2013.3"},{"key":"S1793962316410014BIB004","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1993.0025"},{"key":"S1793962316410014BIB005","volume-title":"Understanding Z: A Specification Language and Its Formal Semantics","volume":"3","author":"Spivey J. M.","year":"1988"},{"key":"S1793962316410014BIB006","volume-title":"Systematic Software Development Using VDM","volume":"66","author":"Jones C. B.","year":"1986"},{"key":"S1793962316410014BIB007","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-2704-5"},{"key":"S1793962316410014BIB008","doi-asserted-by":"publisher","DOI":"10.1145\/359576.359585"},{"key":"S1793962316410014BIB009","volume-title":"A Calculus of Communicating Systems","author":"Milner R.","year":"1982"},{"key":"S1793962316410014BIB010","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"S1793962316410014BIB011","doi-asserted-by":"publisher","DOI":"10.1145\/177492.177726"},{"key":"S1793962316410014BIB013","volume-title":"Model Checking","author":"Clarke E. M.","year":"2000"},{"key":"S1793962316410014BIB014","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90017-A"},{"key":"S1793962316410014BIB016","doi-asserted-by":"publisher","DOI":"10.1145\/2567897"},{"key":"S1793962316410014BIB017","doi-asserted-by":"publisher","DOI":"10.1145\/2699722"},{"key":"S1793962316410014BIB019","doi-asserted-by":"publisher","DOI":"10.1016\/j.cpc.2009.09.018"},{"key":"S1793962316410014BIB021","first-page":"107","volume-title":"Statistics for Experimenters: An Introduction to Design, Data Analysis, and Model Building","author":"Box G. E. P.","year":"1978"},{"key":"S1793962316410014BIB022","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-010-0105-2_2"},{"key":"S1793962316410014BIB023","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(72)90049-5"},{"key":"S1793962316410014BIB025","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.4.12.370"},{"issue":"1","key":"S1793962316410014BIB026","doi-asserted-by":"crossref","first-page":"168","DOI":"10.1093\/ajcn\/40.1.168","volume":"40","author":"Roza A. M.","year":"1984","journal-title":"Am. J. Clin. Nutr."},{"key":"S1793962316410014BIB029","volume-title":"Systems and Software Verification: Model-Checking Techniques and Tools","author":"Berard B.","year":"2010"},{"key":"S1793962316410014BIB030","volume-title":"Sensitivity Analysis","volume":"134","author":"Saltelli A.","year":"2000"},{"key":"S1793962316410014BIB031","doi-asserted-by":"publisher","DOI":"10.1145\/643120.643122"},{"key":"S1793962316410014BIB032","doi-asserted-by":"publisher","DOI":"10.1145\/229493.229511"},{"key":"S1793962316410014BIB033","doi-asserted-by":"publisher","DOI":"10.1137\/S0036144500378302"}],"container-title":["International Journal of Modeling, Simulation, and Scientific Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S1793962316410014","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T12:34:00Z","timestamp":1565094840000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S1793962316410014"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,3]]},"references-count":25,"journal-issue":{"issue":"01","published-online":{"date-parts":[[2016,3,28]]},"published-print":{"date-parts":[[2016,3]]}},"alternative-id":["10.1142\/S1793962316410014"],"URL":"https:\/\/doi.org\/10.1142\/s1793962316410014","relation":{},"ISSN":["1793-9623","1793-9615"],"issn-type":[{"value":"1793-9623","type":"print"},{"value":"1793-9615","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,3]]}}}