{"id":"https://openalex.org/W3023191323","doi":"https://doi.org/10.1016/b978-044450813-3/50026-6","title":"Model Checking","display_name":"Model Checking","publication_year":2001,"publication_date":"2001-01-01","ids":{"openalex":"https://openalex.org/W3023191323","doi":"https://doi.org/10.1016/b978-044450813-3/50026-6","mag":"3023191323"},"language":"en","primary_location":{"id":"doi:10.1016/b978-044450813-3/50026-6","is_oa":false,"landing_page_url":"https://doi.org/10.1016/b978-044450813-3/50026-6","pdf_url":null,"source":{"id":"https://openalex.org/S4306463230","display_name":"Elsevier eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"ebook platform"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Handbook of Automated Reasoning","raw_type":"book-chapter"},"type":"book-chapter","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/A5105356861","display_name":"Edmund M. Clarke","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Edmund M. Clarke","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5033575934","display_name":"Bernd\u2013Holger Schlingloff","orcid":"https://orcid.org/0000-0001-9601-157X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Bernd-Holger Schlingloff","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5105356861"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":10.0332,"has_fulltext":false,"cited_by_count":383,"citation_normalized_percentile":{"value":0.98524096,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"1635","last_page":"1790"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":1.0,"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":1.0,"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.998199999332428,"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.994700014591217,"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.39056891202926636}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.39056891202926636}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/b978-044450813-3/50026-6","is_oa":false,"landing_page_url":"https://doi.org/10.1016/b978-044450813-3/50026-6","pdf_url":null,"source":{"id":"https://openalex.org/S4306463230","display_name":"Elsevier eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"ebook platform"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Handbook of Automated Reasoning","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":237,"referenced_works":["https://openalex.org/W46517763","https://openalex.org/W108971667","https://openalex.org/W117556101","https://openalex.org/W240055707","https://openalex.org/W586830278","https://openalex.org/W622304541","https://openalex.org/W1481201928","https://openalex.org/W1485823765","https://openalex.org/W1488103720","https://openalex.org/W1494035541","https://openalex.org/W1515556175","https://openalex.org/W1527588453","https://openalex.org/W1537671701","https://openalex.org/W1539868891","https://openalex.org/W1555138513","https://openalex.org/W1555686915","https://openalex.org/W1560050980","https://openalex.org/W1567452806","https://openalex.org/W1570374618","https://openalex.org/W1573354578","https://openalex.org/W1575118279","https://openalex.org/W1592970915","https://openalex.org/W1593428110","https://openalex.org/W1596400039","https://openalex.org/W1605593319","https://openalex.org/W1607877490","https://openalex.org/W1612453857","https://openalex.org/W1655990431","https://openalex.org/W1778175466","https://openalex.org/W1791618115","https://openalex.org/W1802674666","https://openalex.org/W1816620374","https://openalex.org/W1861370427","https://openalex.org/W1913744808","https://openalex.org/W1965611063","https://openalex.org/W1970603830","https://openalex.org/W1972203711","https://openalex.org/W1976773489","https://openalex.org/W1979159285","https://openalex.org/W1982900911","https://openalex.org/W1987073197","https://openalex.org/W1990183105","https://openalex.org/W1992582873","https://openalex.org/W1997816298","https://openalex.org/W1998132813","https://openalex.org/W1998889111","https://openalex.org/W1999288406","https://openalex.org/W2000138546","https://openalex.org/W2003227046","https://openalex.org/W2004306067","https://openalex.org/W2004532354","https://openalex.org/W2009965218","https://openalex.org/W2012211183","https://openalex.org/W2012841134","https://openalex.org/W2012935476","https://openalex.org/W2015640848","https://openalex.org/W2023251419","https://openalex.org/W2023499821","https://openalex.org/W2030224590","https://openalex.org/W2034774429","https://openalex.org/W2036526834","https://openalex.org/W2036996017","https://openalex.org/W2041743477","https://openalex.org/W2046213250","https://openalex.org/W2048355938","https://openalex.org/W2057260173","https://openalex.org/W2059144726","https://openalex.org/W2061438988","https://openalex.org/W2067441543","https://openalex.org/W2068361557","https://openalex.org/W2069709605","https://openalex.org/W2072887965","https://openalex.org/W2080267935","https://openalex.org/W2080593426","https://openalex.org/W2080641824","https://openalex.org/W2082035816","https://openalex.org/W2084208685","https://openalex.org/W2087409327","https://openalex.org/W2088094394","https://openalex.org/W2093916942","https://openalex.org/W2098171268","https://openalex.org/W2099120582","https://openalex.org/W2108016168","https://openalex.org/W2108918590","https://openalex.org/W2112535338","https://openalex.org/W2115457987","https://openalex.org/W2117189826","https://openalex.org/W2118382442","https://openalex.org/W2137865376","https://openalex.org/W2138856440","https://openalex.org/W2142707270","https://openalex.org/W2151040355","https://openalex.org/W2154938325","https://openalex.org/W2155672011","https://openalex.org/W2156226967","https://openalex.org/W2158114636","https://openalex.org/W2161609549","https://openalex.org/W2164989576","https://openalex.org/W2260769207","https://openalex.org/W2344769825","https://openalex.org/W2470948957","https://openalex.org/W2563581567","https://openalex.org/W2575702446","https://openalex.org/W2806619258","https://openalex.org/W2912867481","https://openalex.org/W2914206182","https://openalex.org/W3144889436","https://openalex.org/W4237532111","https://openalex.org/W4243296004","https://openalex.org/W4245491991","https://openalex.org/W4256562411","https://openalex.org/W4297720958","https://openalex.org/W4302339081","https://openalex.org/W4388299483","https://openalex.org/W6604768277","https://openalex.org/W6604852155","https://openalex.org/W6607389031","https://openalex.org/W6628623083","https://openalex.org/W6628710117","https://openalex.org/W6628802054","https://openalex.org/W6629055010","https://openalex.org/W6629535518","https://openalex.org/W6630557233","https://openalex.org/W6630642437","https://openalex.org/W6630643794","https://openalex.org/W6630886716","https://openalex.org/W6630905886","https://openalex.org/W6630980745","https://openalex.org/W6631192654","https://openalex.org/W6631587915","https://openalex.org/W6631748437","https://openalex.org/W6631999530","https://openalex.org/W6632301074","https://openalex.org/W6632308403","https://openalex.org/W6632470882","https://openalex.org/W6632594432","https://openalex.org/W6632601584","https://openalex.org/W6632630887","https://openalex.org/W6632745820","https://openalex.org/W6632832244","https://openalex.org/W6633260349","https://openalex.org/W6633342049","https://openalex.org/W6633902325","https://openalex.org/W6633999396","https://openalex.org/W6634765428","https://openalex.org/W6634981462","https://openalex.org/W6635202432","https://openalex.org/W6635268168","https://openalex.org/W6635406127","https://openalex.org/W6635716566","https://openalex.org/W6636235013","https://openalex.org/W6636501790","https://openalex.org/W6637154281","https://openalex.org/W6637730967","https://openalex.org/W6637743236","https://openalex.org/W6637779567","https://openalex.org/W6638020115","https://openalex.org/W6638298327","https://openalex.org/W6638352968","https://openalex.org/W6638428988","https://openalex.org/W6638488744","https://openalex.org/W6638506094","https://openalex.org/W6638563529","https://openalex.org/W6638928801","https://openalex.org/W6639600413","https://openalex.org/W6640441150","https://openalex.org/W6640982844","https://openalex.org/W6641397908","https://openalex.org/W6641740895","https://openalex.org/W6643082104","https://openalex.org/W6644450621","https://openalex.org/W6645465296","https://openalex.org/W6650326991","https://openalex.org/W6650476192","https://openalex.org/W6650799790","https://openalex.org/W6651628706","https://openalex.org/W6652956882","https://openalex.org/W6653289025","https://openalex.org/W6654274688","https://openalex.org/W6655221434","https://openalex.org/W6655666348","https://openalex.org/W6656168281","https://openalex.org/W6656255003","https://openalex.org/W6656308666","https://openalex.org/W6658605428","https://openalex.org/W6660481175","https://openalex.org/W6660650817","https://openalex.org/W6665723815","https://openalex.org/W6666528782","https://openalex.org/W6670974478","https://openalex.org/W6672986038","https://openalex.org/W6673656472","https://openalex.org/W6673658301","https://openalex.org/W6674395128","https://openalex.org/W6674423876","https://openalex.org/W6674721704","https://openalex.org/W6674891666","https://openalex.org/W6675232046","https://openalex.org/W6675742298","https://openalex.org/W6675900922","https://openalex.org/W6676880497","https://openalex.org/W6676947709","https://openalex.org/W6677079647","https://openalex.org/W6677600507","https://openalex.org/W6677831444","https://openalex.org/W6677924414","https://openalex.org/W6678559842","https://openalex.org/W6678822513","https://openalex.org/W6679008026","https://openalex.org/W6679047264","https://openalex.org/W6679319099","https://openalex.org/W6680459248","https://openalex.org/W6680585622","https://openalex.org/W6681047405","https://openalex.org/W6681914083","https://openalex.org/W6682414025","https://openalex.org/W6682567899","https://openalex.org/W6682991435","https://openalex.org/W6683283516","https://openalex.org/W6684362143","https://openalex.org/W6684494203","https://openalex.org/W6684644128","https://openalex.org/W6685379905","https://openalex.org/W6703496001","https://openalex.org/W6732077479","https://openalex.org/W6732391814","https://openalex.org/W6743995930","https://openalex.org/W6758238014","https://openalex.org/W6758479487","https://openalex.org/W6758784676","https://openalex.org/W6792635071","https://openalex.org/W6793045953","https://openalex.org/W6821582060","https://openalex.org/W6903348357","https://openalex.org/W6903423589","https://openalex.org/W7039449111","https://openalex.org/W7046175020"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2350741829","https://openalex.org/W2530322880","https://openalex.org/W1596801655","https://openalex.org/W2359140296"],"abstract_inverted_index":null,"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":24},{"year":2023,"cited_by_count":14},{"year":2022,"cited_by_count":17},{"year":2021,"cited_by_count":15},{"year":2020,"cited_by_count":17},{"year":2019,"cited_by_count":15},{"year":2018,"cited_by_count":12},{"year":2017,"cited_by_count":17},{"year":2016,"cited_by_count":27},{"year":2015,"cited_by_count":24},{"year":2014,"cited_by_count":28},{"year":2013,"cited_by_count":20},{"year":2012,"cited_by_count":22}],"updated_date":"2026-04-11T08:14:18.477133","created_date":"2020-05-13T00:00:00"}