{"id":"https://openalex.org/W2017320285","doi":"https://doi.org/10.1007/bf02945465","title":"Combining static analysis and case-based search space partitioning for reducing peak memory in model checking","display_name":"Combining static analysis and case-based search space partitioning for reducing peak memory in model checking","publication_year":2003,"publication_date":"2003-11-01","ids":{"openalex":"https://openalex.org/W2017320285","doi":"https://doi.org/10.1007/bf02945465","mag":"2017320285"},"language":"en","primary_location":{"id":"doi:10.1007/bf02945465","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bf02945465","pdf_url":null,"source":{"id":"https://openalex.org/S161516442","display_name":"Journal of Computer Science and Technology","issn_l":"1000-9000","issn":["1000-9000","1860-4749"],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Computer Science and Technology","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/A5100399716","display_name":"Wenhui Zhang","orcid":"https://orcid.org/0000-0002-1301-4124"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"WenHui Zhang","raw_affiliation_strings":["Laboratory of Computer Science, Institute of Software, The Chinese Academy of Sciences, 100080, Beijing, P.R. China","Laboratory of Computer Science, Institute of Software, The Chinese Academy of Sciences, Beijing 100080 P.R. China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Laboratory of Computer Science, Institute of Software, The Chinese Academy of Sciences, 100080, Beijing, P.R. China","institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]},{"raw_affiliation_string":"Laboratory of Computer Science, Institute of Software, The Chinese Academy of Sciences, Beijing 100080 P.R. China","institution_ids":["https://openalex.org/I19820366"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5100399716"],"corresponding_institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210128818"],"apc_list":{"value":2890,"currency":"USD","value_usd":2890},"apc_paid":null,"fwci":1.817,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.8449876,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"18","issue":"6","first_page":"762","last_page":"770"},"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.9945999979972839,"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.989300012588501,"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.8832586407661438},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.8794835805892944},{"id":"https://openalex.org/keywords/promela","display_name":"Promela","score":0.8269155621528625},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.5514286756515503},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.534769594669342},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.5053368210792542},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4774899184703827},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4545345902442932},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.43876218795776367}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8832586407661438},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.8794835805892944},{"id":"https://openalex.org/C2776329536","wikidata":"https://www.wikidata.org/wiki/Q948666","display_name":"Promela","level":3,"score":0.8269155621528625},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.5514286756515503},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.534769594669342},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.5053368210792542},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4774899184703827},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4545345902442932},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.43876218795776367},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/bf02945465","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bf02945465","pdf_url":null,"source":{"id":"https://openalex.org/S161516442","display_name":"Journal of Computer Science and Technology","issn_l":"1000-9000","issn":["1000-9000","1860-4749"],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Computer Science and Technology","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W119570465","https://openalex.org/W1481851559","https://openalex.org/W1507116188","https://openalex.org/W1528441743","https://openalex.org/W1535497513","https://openalex.org/W1536783297","https://openalex.org/W1547100201","https://openalex.org/W1598591924","https://openalex.org/W1607782211","https://openalex.org/W1612453857","https://openalex.org/W1772581832","https://openalex.org/W1860481808","https://openalex.org/W1934074768","https://openalex.org/W1987073197","https://openalex.org/W1990161286","https://openalex.org/W2005771507","https://openalex.org/W2061438988","https://openalex.org/W2080593426","https://openalex.org/W2095748918","https://openalex.org/W2114817689","https://openalex.org/W2115309705","https://openalex.org/W2142634894","https://openalex.org/W2155032609","https://openalex.org/W2164989576","https://openalex.org/W2471308051","https://openalex.org/W2756011084","https://openalex.org/W3144368627","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2140364234","https://openalex.org/W1538854713","https://openalex.org/W1481983260","https://openalex.org/W1504525241","https://openalex.org/W3146005941","https://openalex.org/W2556172256","https://openalex.org/W2363827478","https://openalex.org/W20172544","https://openalex.org/W4387577136","https://openalex.org/W4297785302"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2025-10-10T00:00:00"}