{"id":"https://openalex.org/W2159173410","doi":"https://doi.org/10.1109/wsc.2003.1261508","title":"From simulation to verification (and back)","display_name":"From simulation to verification (and back)","publication_year":2004,"publication_date":"2004-05-06","ids":{"openalex":"https://openalex.org/W2159173410","doi":"https://doi.org/10.1109/wsc.2003.1261508","mag":"2159173410"},"language":"en","primary_location":{"id":"doi:10.1109/wsc.2003.1261508","is_oa":false,"landing_page_url":"https://doi.org/10.1109/wsc.2003.1261508","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2003 International Conference on Machine Learning and Cybernetics (IEEE Cat. No.03EX693)","raw_type":"proceedings-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/A5110264156","display_name":"Harald Rue\u03b2","orcid":null},"institutions":[{"id":"https://openalex.org/I1298353152","display_name":"SRI International","ror":"https://ror.org/05s570m15","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I1298353152"]},{"id":"https://openalex.org/I4210099336","display_name":"Menlo School","ror":"https://ror.org/01240pn49","country_code":"US","type":"education","lineage":["https://openalex.org/I4210099336"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"H. Rueb","raw_affiliation_strings":["Computer Science Laboratory, SRI International, Menlo Park, CA, U.S.A"],"affiliations":[{"raw_affiliation_string":"Computer Science Laboratory, SRI International, Menlo Park, CA, U.S.A","institution_ids":["https://openalex.org/I1298353152","https://openalex.org/I4210099336"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5045859619","display_name":"Leonardo de Moura","orcid":"https://orcid.org/0000-0002-5158-4726"},"institutions":[{"id":"https://openalex.org/I1298353152","display_name":"SRI International","ror":"https://ror.org/05s570m15","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I1298353152"]},{"id":"https://openalex.org/I4210099336","display_name":"Menlo School","ror":"https://ror.org/01240pn49","country_code":"US","type":"education","lineage":["https://openalex.org/I4210099336"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"L. de Moura","raw_affiliation_strings":["Computer Science Laboratory, SRI International, Menlo Park, CA, U.S.A"],"affiliations":[{"raw_affiliation_string":"Computer Science Laboratory, SRI International, Menlo Park, CA, U.S.A","institution_ids":["https://openalex.org/I1298353152","https://openalex.org/I4210099336"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5110264156"],"corresponding_institution_ids":["https://openalex.org/I1298353152","https://openalex.org/I4210099336"],"apc_list":null,"apc_paid":null,"fwci":1.0116,"has_fulltext":false,"cited_by_count":14,"citation_normalized_percentile":{"value":0.77862292,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"68","issue":null,"first_page":"888","last_page":"896"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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.9998999834060669,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9994999766349792,"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"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9994000196456909,"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/symbolic-trajectory-evaluation","display_name":"Symbolic trajectory evaluation","score":0.84937983751297},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8037198781967163},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.7054506540298462},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.6481480002403259},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.622154951095581},{"id":"https://openalex.org/keywords/symbolic-data-analysis","display_name":"Symbolic data analysis","score":0.5308664441108704},{"id":"https://openalex.org/keywords/the-symbolic","display_name":"The Symbolic","score":0.5062769651412964},{"id":"https://openalex.org/keywords/concolic-testing","display_name":"Concolic testing","score":0.49414780735969543},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4651554226875305},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.40983515977859497},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.372182697057724}],"concepts":[{"id":"https://openalex.org/C23123167","wikidata":"https://www.wikidata.org/wiki/Q7661193","display_name":"Symbolic trajectory evaluation","level":3,"score":0.84937983751297},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8037198781967163},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.7054506540298462},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.6481480002403259},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.622154951095581},{"id":"https://openalex.org/C65620979","wikidata":"https://www.wikidata.org/wiki/Q7661176","display_name":"Symbolic data analysis","level":2,"score":0.5308664441108704},{"id":"https://openalex.org/C2776095079","wikidata":"https://www.wikidata.org/wiki/Q489538","display_name":"The Symbolic","level":2,"score":0.5062769651412964},{"id":"https://openalex.org/C11219265","wikidata":"https://www.wikidata.org/wiki/Q5158734","display_name":"Concolic testing","level":4,"score":0.49414780735969543},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4651554226875305},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.40983515977859497},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.372182697057724},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0},{"id":"https://openalex.org/C11171543","wikidata":"https://www.wikidata.org/wiki/Q41630","display_name":"Psychoanalysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/wsc.2003.1261508","is_oa":false,"landing_page_url":"https://doi.org/10.1109/wsc.2003.1261508","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2003 International Conference on Machine Learning and Cybernetics (IEEE Cat. No.03EX693)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.7699999809265137,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":40,"referenced_works":["https://openalex.org/W120333500","https://openalex.org/W326353637","https://openalex.org/W1490969264","https://openalex.org/W1491913687","https://openalex.org/W1497571013","https://openalex.org/W1503170978","https://openalex.org/W1540180001","https://openalex.org/W1552280794","https://openalex.org/W1554123797","https://openalex.org/W1570320801","https://openalex.org/W1571284404","https://openalex.org/W1590828018","https://openalex.org/W1606860058","https://openalex.org/W1667362966","https://openalex.org/W1819209966","https://openalex.org/W1834186039","https://openalex.org/W1857327297","https://openalex.org/W1957511817","https://openalex.org/W1981808971","https://openalex.org/W1983169123","https://openalex.org/W1987073197","https://openalex.org/W1989746243","https://openalex.org/W2004463571","https://openalex.org/W2061438988","https://openalex.org/W2080593426","https://openalex.org/W2113930382","https://openalex.org/W2170511114","https://openalex.org/W2296646831","https://openalex.org/W2344671925","https://openalex.org/W2912904668","https://openalex.org/W3158864670","https://openalex.org/W4231545092","https://openalex.org/W4285719527","https://openalex.org/W6629264807","https://openalex.org/W6629392377","https://openalex.org/W6635333735","https://openalex.org/W6635950276","https://openalex.org/W6636950635","https://openalex.org/W6639251974","https://openalex.org/W6704706996"],"related_works":["https://openalex.org/W2101264565","https://openalex.org/W3141167149","https://openalex.org/W2044213223","https://openalex.org/W345638404","https://openalex.org/W4254035807","https://openalex.org/W2514597554","https://openalex.org/W3170793698","https://openalex.org/W3026405340","https://openalex.org/W4245197793","https://openalex.org/W1439634531"],"abstract_inverted_index":{"Symbolic":[0,42],"evaluation":[1,26,43,69],"is":[2,27,78,92],"the":[3],"execution":[4],"of":[5,87,102],"software":[6,8],"and":[7,38,51,55,60,83],"designs":[9],"on":[10,21,108],"inputs":[11],"given":[12],"as":[13],"symbolic":[14,25,39,68],"or":[15],"explicit":[16],"constants":[17],"along":[18],"with":[19],"constraints":[20],"these":[22],"inputs.":[23],"Efficient":[24],"now":[28],"feasible":[29],"due":[30],"to":[31,47,81,111],"recent":[32],"advances":[33],"in":[34,73],"efficient":[35],"decision":[36],"procedures":[37],"model":[40],"checking.":[41],"can":[44,70,95],"be":[45,71,96],"applied":[46],"partially":[48],"implemented":[49],"descriptions":[50],"provides":[52],"wider":[53],"coverage":[54],"greater":[56],"assurance":[57],"than":[58],"testing":[59],"traditional":[61],"simulation":[62,110],"alone.":[63],"Unlike":[64],"full":[65],"formal":[66],"verification,":[67],"used":[72,97],"a":[74,99],"partial":[75],"manner":[76],"that":[77,93],"more":[79],"likely":[80],"succeed":[82],"yield":[84],"some":[85],"degree":[86],"assurance.":[88],"Its":[89],"main":[90],"advantage":[91],"it":[94],"within":[98],"smooth":[100],"spectrum":[101],"analyses":[103],"ranging":[104],"from":[105],"refutation":[106],"based":[107],"explicit-state":[109],"full-blown":[112],"verification.":[113]},"counts_by_year":[{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-02-25T21:11:00.739837","created_date":"2025-10-10T00:00:00"}