{"id":"https://openalex.org/W2284481752","doi":"https://doi.org/10.1142/s1793962316410014","title":"Formal methods, statistical debugging and exploratory analysis in support of system development: Towards a verification and validation calculator tool","display_name":"Formal methods, statistical debugging and exploratory analysis in support of system development: Towards a verification and validation calculator tool","publication_year":2016,"publication_date":"2016-02-24","ids":{"openalex":"https://openalex.org/W2284481752","doi":"https://doi.org/10.1142/s1793962316410014","mag":"2284481752"},"language":"en","primary_location":{"id":"doi:10.1142/s1793962316410014","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s1793962316410014","pdf_url":null,"source":{"id":"https://openalex.org/S107361000","display_name":"Advances in Complex Systems","issn_l":"0219-5259","issn":["0219-5259","1793-6802","1793-9615","1793-9623"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Modeling, Simulation, and Scientific Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5020043714","display_name":"Saikou Y. Diallo","orcid":"https://orcid.org/0000-0003-2389-2809"},"institutions":[{"id":"https://openalex.org/I81365321","display_name":"Old Dominion University","ror":"https://ror.org/04zjtrb98","country_code":"US","type":"education","lineage":["https://openalex.org/I81365321"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Saikou Y. Diallo","raw_affiliation_strings":["Virginia Modeling, Analysis and Simulation Center, Old Dominion University, 1030 University Blvd. Suffolk, VA 23435, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Virginia Modeling, Analysis and Simulation Center, Old Dominion University, 1030 University Blvd. Suffolk, VA 23435, USA","institution_ids":["https://openalex.org/I81365321"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026324363","display_name":"Ross Gore","orcid":"https://orcid.org/0000-0003-4065-6146"},"institutions":[{"id":"https://openalex.org/I81365321","display_name":"Old Dominion University","ror":"https://ror.org/04zjtrb98","country_code":"US","type":"education","lineage":["https://openalex.org/I81365321"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ross Gore","raw_affiliation_strings":["Virginia Modeling, Analysis and Simulation Center, Old Dominion University, 1030 University Blvd. Suffolk, VA 23435, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Virginia Modeling, Analysis and Simulation Center, Old Dominion University, 1030 University Blvd. Suffolk, VA 23435, USA","institution_ids":["https://openalex.org/I81365321"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003283890","display_name":"Christopher J. Lynch","orcid":"https://orcid.org/0000-0002-4830-7488"},"institutions":[{"id":"https://openalex.org/I81365321","display_name":"Old Dominion University","ror":"https://ror.org/04zjtrb98","country_code":"US","type":"education","lineage":["https://openalex.org/I81365321"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Christopher J. Lynch","raw_affiliation_strings":["Virginia Modeling, Analysis and Simulation Center, Old Dominion University, 1030 University Blvd. Suffolk, VA 23435, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Virginia Modeling, Analysis and Simulation Center, Old Dominion University, 1030 University Blvd. Suffolk, VA 23435, USA","institution_ids":["https://openalex.org/I81365321"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5012136427","display_name":"Jos\u00e9 J. Padilla","orcid":"https://orcid.org/0000-0003-0720-4148"},"institutions":[{"id":"https://openalex.org/I81365321","display_name":"Old Dominion University","ror":"https://ror.org/04zjtrb98","country_code":"US","type":"education","lineage":["https://openalex.org/I81365321"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jose J. Padilla","raw_affiliation_strings":["Virginia Modeling, Analysis and Simulation Center, Old Dominion University, 1030 University Blvd. Suffolk, VA 23435, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Virginia Modeling, Analysis and Simulation Center, Old Dominion University, 1030 University Blvd. Suffolk, VA 23435, USA","institution_ids":["https://openalex.org/I81365321"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I81365321"],"apc_list":null,"apc_paid":null,"fwci":2.4583,"has_fulltext":false,"cited_by_count":19,"citation_normalized_percentile":{"value":0.89461294,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"07","issue":"01","first_page":"1641001","last_page":"1641001"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11195","display_name":"Simulation Techniques and Applications","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9987000226974487,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/calculator","display_name":"Calculator","score":0.9088231325149536},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.8532799482345581},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8212172389030457},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5845593214035034},{"id":"https://openalex.org/keywords/development","display_name":"Development (topology)","score":0.42103075981140137},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.35650378465652466},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.33774471282958984},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.07852098345756531}],"concepts":[{"id":"https://openalex.org/C2776836400","wikidata":"https://www.wikidata.org/wiki/Q31087","display_name":"Calculator","level":2,"score":0.9088231325149536},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.8532799482345581},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8212172389030457},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5845593214035034},{"id":"https://openalex.org/C2776542497","wikidata":"https://www.wikidata.org/wiki/Q5266672","display_name":"Development (topology)","level":2,"score":0.42103075981140137},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.35650378465652466},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.33774471282958984},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.07852098345756531},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1142/s1793962316410014","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s1793962316410014","pdf_url":null,"source":{"id":"https://openalex.org/S107361000","display_name":"Advances in Complex Systems","issn_l":"0219-5259","issn":["0219-5259","1793-6802","1793-9615","1793-9623"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Modeling, Simulation, and Scientific Computing","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W1559035930","https://openalex.org/W1583095677","https://openalex.org/W1968630830","https://openalex.org/W1979671873","https://openalex.org/W2008807403","https://openalex.org/W2015688007","https://openalex.org/W2022830354","https://openalex.org/W2051794812","https://openalex.org/W2061438988","https://openalex.org/W2086729773","https://openalex.org/W2088765131","https://openalex.org/W2094731495","https://openalex.org/W2099529102","https://openalex.org/W2114754412","https://openalex.org/W2119895020","https://openalex.org/W2125884465","https://openalex.org/W2145137020","https://openalex.org/W2155941545","https://openalex.org/W2194869982","https://openalex.org/W2318940639","https://openalex.org/W2797140162","https://openalex.org/W4211008702","https://openalex.org/W4211054545"],"related_works":["https://openalex.org/W1578053891","https://openalex.org/W1987935534","https://openalex.org/W1483845062","https://openalex.org/W2120071210","https://openalex.org/W1601811574","https://openalex.org/W1587224678","https://openalex.org/W1498982577","https://openalex.org/W2171836055","https://openalex.org/W4231350079","https://openalex.org/W1536968357"],"abstract_inverted_index":{"In":[0],"this":[1],"paper,":[2],"we":[3],"propose":[4],"an":[5],"approach":[6,26],"to":[7,86],"formally":[8],"verify":[9],"and":[10,30,51,58,76],"rigorously":[11],"validate":[12],"a":[13,28,38,83],"simulation":[14,64],"system":[15,50,57,75],"against":[16],"the":[17,20,25,44,49,55,63,66,70,74,78,94],"specification":[18],"of":[19,40,48,54,73],"real":[21,56],"system.":[22],"We":[23,81],"implement":[24],"in":[27],"verification":[29],"validation":[31],"calculator":[32],"tool":[33],"that":[34,42],"takes":[35],"as":[36,60],"input":[37],"set":[39],"statements":[41],"capture":[43],"requirements,":[45,67],"internal":[46,71],"conditions":[47,72],"expected":[52,79],"outputs":[53],"produces":[59,77],"output":[61],"whether":[62],"satisfies":[65],"faithfully":[68],"represents":[69],"outputs.":[80],"provide":[82],"use":[84],"case":[85],"show":[87],"how":[88],"subject":[89],"matter":[90],"experts":[91],"can":[92],"apply":[93],"tool.":[95]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}