{"id":"https://openalex.org/W1842754478","doi":"https://doi.org/10.1007/s10009-015-0393-y","title":"Guided search for hybrid systems based on coarse-grained space abstractions","display_name":"Guided search for hybrid systems based on coarse-grained space abstractions","publication_year":2015,"publication_date":"2015-08-06","ids":{"openalex":"https://openalex.org/W1842754478","doi":"https://doi.org/10.1007/s10009-015-0393-y","mag":"1842754478","pmid":"https://pubmed.ncbi.nlm.nih.gov/27445640"},"language":"en","primary_location":{"id":"doi:10.1007/s10009-015-0393-y","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10009-015-0393-y","pdf_url":"https://link.springer.com/content/pdf/10.1007%2Fs10009-015-0393-y.pdf","source":{"id":"https://openalex.org/S122567160","display_name":"International Journal on Software Tools for Technology Transfer","issn_l":"1433-2779","issn":["1433-2779","1433-2787"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal on Software Tools for Technology Transfer","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","pubmed"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007%2Fs10009-015-0393-y.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5055381376","display_name":"Sergiy Bogomolov","orcid":"https://orcid.org/0000-0002-0686-0365"},"institutions":[{"id":"https://openalex.org/I157556583","display_name":"Institute of Science and Technology Austria","ror":"https://ror.org/03gnh5541","country_code":"AT","type":"education","lineage":["https://openalex.org/I157556583"]}],"countries":["AT"],"is_corresponding":true,"raw_author_name":"Sergiy Bogomolov","raw_affiliation_strings":["IST Austria, Klosterneuburg, Austria ; University of Freiburg, Freiburg, Germany","IST Austria, Klosterneuburg, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IST Austria, Klosterneuburg, Austria ; University of Freiburg, Freiburg, Germany","institution_ids":[]},{"raw_affiliation_string":"IST Austria, Klosterneuburg, Austria","institution_ids":["https://openalex.org/I157556583"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081324945","display_name":"Alexandre Donz\u00e9","orcid":"https://orcid.org/0000-0002-1138-5458"},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Alexandre Donz\u00e9","raw_affiliation_strings":["University of California, Berkeley, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of California, Berkeley, USA","institution_ids":["https://openalex.org/I95457486"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039488370","display_name":"Goran Frehse","orcid":"https://orcid.org/0000-0002-5441-0481"},"institutions":[{"id":"https://openalex.org/I899635006","display_name":"Universit\u00e9 Grenoble Alpes","ror":"https://ror.org/02rx3b187","country_code":"FR","type":"education","lineage":["https://openalex.org/I899635006"]},{"id":"https://openalex.org/I177483745","display_name":"Universit\u00e9 Joseph Fourier","ror":"https://ror.org/02aj0kh94","country_code":"FR","type":"education","lineage":["https://openalex.org/I177483745"]},{"id":"https://openalex.org/I4210156361","display_name":"Verimag","ror":"https://ror.org/05afmzm11","country_code":"FR","type":"facility","lineage":["https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I4210156361","https://openalex.org/I4210159245","https://openalex.org/I899635006"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Goran Frehse","raw_affiliation_strings":["Universit\u00e9 Joseph Fourier Grenoble 1 - Verimag, Grenoble, France","Universit\u00e9 Joseph Fourier Grenoble 1 \u2013 Verimag, Grenoble, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e9 Joseph Fourier Grenoble 1 - Verimag, Grenoble, France","institution_ids":[]},{"raw_affiliation_string":"Universit\u00e9 Joseph Fourier Grenoble 1 \u2013 Verimag, Grenoble, France","institution_ids":["https://openalex.org/I177483745","https://openalex.org/I4210156361","https://openalex.org/I899635006"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034362557","display_name":"Radu Grosu","orcid":"https://orcid.org/0000-0001-5715-2142"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Radu Grosu","raw_affiliation_strings":["Vienna University of Technology, Vienna, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Vienna University of Technology, Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067901159","display_name":"Taylor T. Johnson","orcid":"https://orcid.org/0000-0001-8021-9923"},"institutions":[{"id":"https://openalex.org/I189196454","display_name":"The University of Texas at Arlington","ror":"https://ror.org/019kgqr73","country_code":"US","type":"education","lineage":["https://openalex.org/I189196454"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Taylor T. Johnson","raw_affiliation_strings":["University of Texas at Arlington, Arlington, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Texas at Arlington, Arlington, USA","institution_ids":["https://openalex.org/I189196454"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5006724471","display_name":"Hamed Ladan","orcid":null},"institutions":[{"id":"https://openalex.org/I161046081","display_name":"University of Freiburg","ror":"https://ror.org/0245cg223","country_code":"DE","type":"education","lineage":["https://openalex.org/I161046081"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Hamed Ladan","raw_affiliation_strings":["University of Freiburg, Freiburg, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Freiburg, Freiburg, Germany","institution_ids":["https://openalex.org/I161046081"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062411838","display_name":"Andreas Podelski","orcid":"https://orcid.org/0000-0003-2540-9489"},"institutions":[{"id":"https://openalex.org/I161046081","display_name":"University of Freiburg","ror":"https://ror.org/0245cg223","country_code":"DE","type":"education","lineage":["https://openalex.org/I161046081"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Andreas Podelski","raw_affiliation_strings":["University of Freiburg, Freiburg, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Freiburg, Freiburg, Germany","institution_ids":["https://openalex.org/I161046081"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5020261327","display_name":"Martin Wehrle","orcid":null},"institutions":[{"id":"https://openalex.org/I1850255","display_name":"University of Basel","ror":"https://ror.org/02s6k3f65","country_code":"CH","type":"education","lineage":["https://openalex.org/I1850255"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Martin Wehrle","raw_affiliation_strings":["University of Basel, Basel, Switzerland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Basel, Basel, Switzerland","institution_ids":["https://openalex.org/I1850255"]}]}],"institutions":[],"countries_distinct_count":5,"institutions_distinct_count":8,"corresponding_author_ids":["https://openalex.org/A5055381376"],"corresponding_institution_ids":["https://openalex.org/I157556583"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":{"value":2390,"currency":"EUR","value_usd":2990},"fwci":6.5417,"has_fulltext":true,"cited_by_count":28,"citation_normalized_percentile":{"value":0.9703841,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"18","issue":"4","first_page":"449","last_page":"467"},"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.9983999729156494,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9983999729156494,"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/computer-science","display_name":"Computer science","score":0.8734701871871948},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.820004940032959},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.6675645112991333},{"id":"https://openalex.org/keywords/granularity","display_name":"Granularity","score":0.6484143733978271},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.6333648562431335},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.5081992149353027},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.5067389607429504},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.4969079792499542},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.48106908798217773},{"id":"https://openalex.org/keywords/hybrid-system","display_name":"Hybrid system","score":0.4226221442222595},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.42086827754974365},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.41669929027557373},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3501155972480774},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.12741562724113464}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8734701871871948},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.820004940032959},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.6675645112991333},{"id":"https://openalex.org/C177774035","wikidata":"https://www.wikidata.org/wiki/Q1246948","display_name":"Granularity","level":2,"score":0.6484143733978271},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.6333648562431335},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.5081992149353027},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.5067389607429504},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.4969079792499542},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.48106908798217773},{"id":"https://openalex.org/C50897621","wikidata":"https://www.wikidata.org/wiki/Q2665508","display_name":"Hybrid system","level":2,"score":0.4226221442222595},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.42086827754974365},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.41669929027557373},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3501155972480774},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.12741562724113464},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/s10009-015-0393-y","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10009-015-0393-y","pdf_url":"https://link.springer.com/content/pdf/10.1007%2Fs10009-015-0393-y.pdf","source":{"id":"https://openalex.org/S122567160","display_name":"International Journal on Software Tools for Technology Transfer","issn_l":"1433-2779","issn":["1433-2779","1433-2787"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal on Software Tools for Technology Transfer","raw_type":"journal-article"},{"id":"pmid:27445640","is_oa":false,"landing_page_url":"https://pubmed.ncbi.nlm.nih.gov/27445640","pdf_url":null,"source":{"id":"https://openalex.org/S4306525036","display_name":"PubMed","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International journal on software tools for technology transfer : STTT","raw_type":null},{"id":"pmh:oai:pubmedcentral.nih.gov:4937103","is_oa":true,"landing_page_url":"https://www.ncbi.nlm.nih.gov/pmc/articles/4937103","pdf_url":null,"source":{"id":"https://openalex.org/S2764455111","display_name":"PubMed Central","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Int J Softw Tools Technol Transf","raw_type":"Text"}],"best_oa_location":{"id":"doi:10.1007/s10009-015-0393-y","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10009-015-0393-y","pdf_url":"https://link.springer.com/content/pdf/10.1007%2Fs10009-015-0393-y.pdf","source":{"id":"https://openalex.org/S122567160","display_name":"International Journal on Software Tools for Technology Transfer","issn_l":"1433-2779","issn":["1433-2779","1433-2787"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal on Software Tools for Technology Transfer","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1230235592","display_name":null,"funder_award_id":"SFB/TR 14 AVACS","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G5248949799","display_name":null,"funder_award_id":"Z211-N23","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G5949215475","display_name":null,"funder_award_id":"SFB/TR 14","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G7822884593","display_name":null,"funder_award_id":"S11402-N23","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320306087","display_name":"Semiconductor Research Corporation","ror":"https://ror.org/047z4n946"},{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"},{"id":"https://openalex.org/F4320320924","display_name":"Schweizerischer Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung","ror":"https://ror.org/00yjd3n13"},{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"},{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1842754478.pdf","grobid_xml":"https://content.openalex.org/works/W1842754478.grobid-xml"},"referenced_works_count":52,"referenced_works":["https://openalex.org/W17135747","https://openalex.org/W89579886","https://openalex.org/W94971406","https://openalex.org/W107960161","https://openalex.org/W147683296","https://openalex.org/W198091129","https://openalex.org/W1481467550","https://openalex.org/W1488872683","https://openalex.org/W1504317179","https://openalex.org/W1505083629","https://openalex.org/W1521939022","https://openalex.org/W1522448884","https://openalex.org/W1530240157","https://openalex.org/W1538133856","https://openalex.org/W1553814243","https://openalex.org/W1571851487","https://openalex.org/W1573344143","https://openalex.org/W1583497301","https://openalex.org/W1591241081","https://openalex.org/W1600504946","https://openalex.org/W1606346370","https://openalex.org/W1726255445","https://openalex.org/W1793594870","https://openalex.org/W1808949452","https://openalex.org/W1842754478","https://openalex.org/W1844911504","https://openalex.org/W1865218796","https://openalex.org/W1972972000","https://openalex.org/W2004463571","https://openalex.org/W2031397756","https://openalex.org/W2042835403","https://openalex.org/W2060369194","https://openalex.org/W2068864491","https://openalex.org/W2080932760","https://openalex.org/W2098916117","https://openalex.org/W2101155486","https://openalex.org/W2119571962","https://openalex.org/W2131441094","https://openalex.org/W2138988438","https://openalex.org/W2143861079","https://openalex.org/W2152533774","https://openalex.org/W2154679417","https://openalex.org/W2176215692","https://openalex.org/W2343779038","https://openalex.org/W2489001267","https://openalex.org/W2750879512","https://openalex.org/W2904270376","https://openalex.org/W2904982962","https://openalex.org/W4234988641","https://openalex.org/W4249771336","https://openalex.org/W4388013161","https://openalex.org/W6635018136"],"related_works":["https://openalex.org/W2357387646","https://openalex.org/W2884574904","https://openalex.org/W856973001","https://openalex.org/W1604596197","https://openalex.org/W78063724","https://openalex.org/W2103488150","https://openalex.org/W4249426951","https://openalex.org/W1598511836","https://openalex.org/W2172357028","https://openalex.org/W2952920810"],"abstract_inverted_index":{"Hybrid":[0],"systems":[1],"represent":[2],"an":[3,79,125,163],"important":[4],"and":[5,113],"powerful":[6],"formalism":[7],"for":[8,134],"modeling":[9],"real-world":[10],"applications":[11],"such":[12],"as":[13],"embedded":[14],"systems.":[15],"A":[16,86],"verification":[17,36,54],"tool":[18,55],"like":[19,65],"SpaceEx":[20,185],"is":[21,39,56,75,92,156,162],"based":[22,93,129],"on":[23,94,100,130],"the":[24,44,53,68,83,136,148,184],"exploration":[25],"of":[26,46,151,166],"a":[27,35,59,72,101,142],"symbolic":[28],"search":[29,98],"space":[30,132],"(the":[31],"region":[32,84],"space).":[33],"As":[34],"tool,":[37],"it":[38],"typically":[40],"optimized":[41,76],"towards":[42,77],"proving":[43],"absence":[45],"errors.":[47],"In":[48,120],"some":[49],"settings,":[50],"e.g.,":[51],"when":[52],"employed":[57],"in":[58,82,89,175,183],"feedback-directed":[60],"design":[61],"cycle,":[62],"one":[63],"would":[64],"to":[66,70,110],"have":[67,171],"option":[69],"call":[71],"version":[73],"that":[74,104,146,170],"finding":[78],"error":[80],"trajectory":[81],"space.":[85],"recent":[87],"approach":[88,179],"this":[90,121,140],"direction":[91],"guided":[95],"search.":[96],"Guided":[97],"relies":[99],"cost":[102,127,160],"function":[103,128,161],"indicates":[105],"which":[106],"states":[107,118],"are":[108],"promising":[109,117],"be":[111],"explored,":[112],"preferably":[114],"explores":[115],"more":[116],"first.":[119],"paper,":[122],"we":[123],"propose":[124],"abstraction-based":[126],"coarse-grained":[131],"abstractions":[133],"guiding":[135],"reachability":[137,153],"analysis.":[138],"For":[139],"purpose,":[141],"suitable":[143],"abstraction":[144],"technique":[145],"exploits":[147],"flexible":[149],"granularity":[150],"modern":[152],"analysis":[154],"algorithms":[155],"introduced.":[157],"The":[158,178,188],"new":[159],"effective":[164],"extension":[165],"pattern":[167],"database":[168],"approaches":[169],"been":[172,181],"successfully":[173],"applied":[174],"other":[176],"areas.":[177],"has":[180],"implemented":[182],"model":[186],"checker.":[187],"evaluation":[189],"shows":[190],"its":[191],"practical":[192],"potential.":[193]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":3},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":5},{"year":2017,"cited_by_count":4},{"year":2016,"cited_by_count":8},{"year":2015,"cited_by_count":1}],"updated_date":"2026-05-16T08:24:45.110214","created_date":"2025-10-10T00:00:00"}