{"id":"https://openalex.org/W4251704629","doi":"https://doi.org/10.1090/dimacs/003/15","title":"Memory efficient algorithms for the verification of temporal properties","display_name":"Memory efficient algorithms for the verification of temporal properties","publication_year":1991,"publication_date":"1991-06-06","ids":{"openalex":"https://openalex.org/W4251704629","doi":"https://doi.org/10.1090/dimacs/003/15"},"language":"en","primary_location":{"id":"doi:10.1090/dimacs/003/15","is_oa":false,"landing_page_url":"https://doi.org/10.1090/dimacs/003/15","pdf_url":null,"source":{"id":"https://openalex.org/S4210177973","display_name":"DIMACS series in discrete mathematics and theoretical computer science","issn_l":"1052-1798","issn":["1052-1798","2472-4793"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"DIMACS Series in Discrete Mathematics and Theoretical Computer Science","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/A5082897387","display_name":"C. Courcoubetis","orcid":null},"institutions":[{"id":"https://openalex.org/I127362389","display_name":"Murray State University","ror":"https://ror.org/01fmwcn13","country_code":"US","type":"education","lineage":["https://openalex.org/I127362389"]},{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]},{"id":"https://openalex.org/I157674565","display_name":"University of Li\u00e8ge","ror":"https://ror.org/00afp2z80","country_code":"BE","type":"education","lineage":["https://openalex.org/I157674565"]},{"id":"https://openalex.org/I2799411422","display_name":"Center for Discrete Mathematics and Theoretical Computer Science","ror":"https://ror.org/00k551w06","country_code":"US","type":"facility","lineage":["https://openalex.org/I102322142","https://openalex.org/I118347220","https://openalex.org/I1283103587","https://openalex.org/I1311060795","https://openalex.org/I20089843","https://openalex.org/I2799411422","https://openalex.org/I4210107353"]},{"id":"https://openalex.org/I4210103138","display_name":"Centre for Technological Research of Crete","ror":"https://ror.org/01bkx5q50","country_code":"GR","type":"facility","lineage":["https://openalex.org/I28710699","https://openalex.org/I4210103138"]},{"id":"https://openalex.org/I4210121775","display_name":"FORTH Institute of Computer Science","ror":"https://ror.org/02tf48g55","country_code":"GR","type":"facility","lineage":["https://openalex.org/I4210121775","https://openalex.org/I8901234"]}],"countries":["BE","GR","US"],"is_corresponding":false,"raw_author_name":"C. Courcoubetis","raw_affiliation_strings":["Un. de Li\u00e8ge","36 Dedalou Street, P.O. Box 1385, 71110 Iraklio, Crete, Greece","600 Mountain Avenue, Murray Hill, New Jersey 07974, U.S.A","DIMACS","Department K55/802, 650 Harry Road San Jose, California 95120-6099, U.S.A","Inst. of Comp. Sci., FORTH, Crete, Greece","Institut Montefiore, B28, B-4000 Li\u00e8ge Sart-Tilman, Belgium"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Un. de Li\u00e8ge","institution_ids":["https://openalex.org/I157674565"]},{"raw_affiliation_string":"36 Dedalou Street, P.O. Box 1385, 71110 Iraklio, Crete, Greece","institution_ids":["https://openalex.org/I4210103138"]},{"raw_affiliation_string":"600 Mountain Avenue, Murray Hill, New Jersey 07974, U.S.A","institution_ids":["https://openalex.org/I127362389"]},{"raw_affiliation_string":"DIMACS","institution_ids":["https://openalex.org/I2799411422"]},{"raw_affiliation_string":"Department K55/802, 650 Harry Road San Jose, California 95120-6099, U.S.A","institution_ids":["https://openalex.org/I1341412227"]},{"raw_affiliation_string":"Inst. of Comp. Sci., FORTH, Crete, Greece","institution_ids":["https://openalex.org/I4210121775"]},{"raw_affiliation_string":"Institut Montefiore, B28, B-4000 Li\u00e8ge Sart-Tilman, Belgium","institution_ids":["https://openalex.org/I157674565"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048802608","display_name":"M. Vardi","orcid":null},"institutions":[{"id":"https://openalex.org/I127362389","display_name":"Murray State University","ror":"https://ror.org/01fmwcn13","country_code":"US","type":"education","lineage":["https://openalex.org/I127362389"]},{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]},{"id":"https://openalex.org/I157674565","display_name":"University of Li\u00e8ge","ror":"https://ror.org/00afp2z80","country_code":"BE","type":"education","lineage":["https://openalex.org/I157674565"]},{"id":"https://openalex.org/I2799411422","display_name":"Center for Discrete Mathematics and Theoretical Computer Science","ror":"https://ror.org/00k551w06","country_code":"US","type":"facility","lineage":["https://openalex.org/I102322142","https://openalex.org/I118347220","https://openalex.org/I1283103587","https://openalex.org/I1311060795","https://openalex.org/I20089843","https://openalex.org/I2799411422","https://openalex.org/I4210107353"]},{"id":"https://openalex.org/I4210103138","display_name":"Centre for Technological Research of Crete","ror":"https://ror.org/01bkx5q50","country_code":"GR","type":"facility","lineage":["https://openalex.org/I28710699","https://openalex.org/I4210103138"]},{"id":"https://openalex.org/I4210121775","display_name":"FORTH Institute of Computer Science","ror":"https://ror.org/02tf48g55","country_code":"GR","type":"facility","lineage":["https://openalex.org/I4210121775","https://openalex.org/I8901234"]}],"countries":["BE","GR","US"],"is_corresponding":true,"raw_author_name":"M. Vardi","raw_affiliation_strings":["Un. de Li\u00e8ge","36 Dedalou Street, P.O. Box 1385, 71110 Iraklio, Crete, Greece","600 Mountain Avenue, Murray Hill, New Jersey 07974, U.S.A","DIMACS","Department K55/802, 650 Harry Road San Jose, California 95120-6099, U.S.A","Inst. of Comp. Sci., FORTH, Crete, Greece","Institut Montefiore, B28, B-4000 Li\u00e8ge Sart-Tilman, Belgium"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Un. de Li\u00e8ge","institution_ids":["https://openalex.org/I157674565"]},{"raw_affiliation_string":"36 Dedalou Street, P.O. Box 1385, 71110 Iraklio, Crete, Greece","institution_ids":["https://openalex.org/I4210103138"]},{"raw_affiliation_string":"600 Mountain Avenue, Murray Hill, New Jersey 07974, U.S.A","institution_ids":["https://openalex.org/I127362389"]},{"raw_affiliation_string":"DIMACS","institution_ids":["https://openalex.org/I2799411422"]},{"raw_affiliation_string":"Department K55/802, 650 Harry Road San Jose, California 95120-6099, U.S.A","institution_ids":["https://openalex.org/I1341412227"]},{"raw_affiliation_string":"Inst. of Comp. Sci., FORTH, Crete, Greece","institution_ids":["https://openalex.org/I4210121775"]},{"raw_affiliation_string":"Institut Montefiore, B28, B-4000 Li\u00e8ge Sart-Tilman, Belgium","institution_ids":["https://openalex.org/I157674565"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074692660","display_name":"Pierre Wolper","orcid":"https://orcid.org/0000-0002-6729-8142"},"institutions":[{"id":"https://openalex.org/I127362389","display_name":"Murray State University","ror":"https://ror.org/01fmwcn13","country_code":"US","type":"education","lineage":["https://openalex.org/I127362389"]},{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]},{"id":"https://openalex.org/I157674565","display_name":"University of Li\u00e8ge","ror":"https://ror.org/00afp2z80","country_code":"BE","type":"education","lineage":["https://openalex.org/I157674565"]},{"id":"https://openalex.org/I2799411422","display_name":"Center for Discrete Mathematics and Theoretical Computer Science","ror":"https://ror.org/00k551w06","country_code":"US","type":"facility","lineage":["https://openalex.org/I102322142","https://openalex.org/I118347220","https://openalex.org/I1283103587","https://openalex.org/I1311060795","https://openalex.org/I20089843","https://openalex.org/I2799411422","https://openalex.org/I4210107353"]},{"id":"https://openalex.org/I4210103138","display_name":"Centre for Technological Research of Crete","ror":"https://ror.org/01bkx5q50","country_code":"GR","type":"facility","lineage":["https://openalex.org/I28710699","https://openalex.org/I4210103138"]},{"id":"https://openalex.org/I4210121775","display_name":"FORTH Institute of Computer Science","ror":"https://ror.org/02tf48g55","country_code":"GR","type":"facility","lineage":["https://openalex.org/I4210121775","https://openalex.org/I8901234"]}],"countries":["BE","GR","US"],"is_corresponding":false,"raw_author_name":"P. Wolper","raw_affiliation_strings":["Un. de Li\u00e8ge","36 Dedalou Street, P.O. Box 1385, 71110 Iraklio, Crete, Greece","600 Mountain Avenue, Murray Hill, New Jersey 07974, U.S.A","DIMACS","Department K55/802, 650 Harry Road San Jose, California 95120-6099, U.S.A","Inst. of Comp. Sci., FORTH, Crete, Greece","Institut Montefiore, B28, B-4000 Li\u00e8ge Sart-Tilman, Belgium"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Un. de Li\u00e8ge","institution_ids":["https://openalex.org/I157674565"]},{"raw_affiliation_string":"36 Dedalou Street, P.O. Box 1385, 71110 Iraklio, Crete, Greece","institution_ids":["https://openalex.org/I4210103138"]},{"raw_affiliation_string":"600 Mountain Avenue, Murray Hill, New Jersey 07974, U.S.A","institution_ids":["https://openalex.org/I127362389"]},{"raw_affiliation_string":"DIMACS","institution_ids":["https://openalex.org/I2799411422"]},{"raw_affiliation_string":"Department K55/802, 650 Harry Road San Jose, California 95120-6099, U.S.A","institution_ids":["https://openalex.org/I1341412227"]},{"raw_affiliation_string":"Inst. of Comp. Sci., FORTH, Crete, Greece","institution_ids":["https://openalex.org/I4210121775"]},{"raw_affiliation_string":"Institut Montefiore, B28, B-4000 Li\u00e8ge Sart-Tilman, Belgium","institution_ids":["https://openalex.org/I157674565"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5043084405","display_name":"Mihalis Yannakakis","orcid":"https://orcid.org/0000-0003-2857-1860"},"institutions":[{"id":"https://openalex.org/I127362389","display_name":"Murray State University","ror":"https://ror.org/01fmwcn13","country_code":"US","type":"education","lineage":["https://openalex.org/I127362389"]},{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]},{"id":"https://openalex.org/I157674565","display_name":"University of Li\u00e8ge","ror":"https://ror.org/00afp2z80","country_code":"BE","type":"education","lineage":["https://openalex.org/I157674565"]},{"id":"https://openalex.org/I2799411422","display_name":"Center for Discrete Mathematics and Theoretical Computer Science","ror":"https://ror.org/00k551w06","country_code":"US","type":"facility","lineage":["https://openalex.org/I102322142","https://openalex.org/I118347220","https://openalex.org/I1283103587","https://openalex.org/I1311060795","https://openalex.org/I20089843","https://openalex.org/I2799411422","https://openalex.org/I4210107353"]},{"id":"https://openalex.org/I4210103138","display_name":"Centre for Technological Research of Crete","ror":"https://ror.org/01bkx5q50","country_code":"GR","type":"facility","lineage":["https://openalex.org/I28710699","https://openalex.org/I4210103138"]},{"id":"https://openalex.org/I4210121775","display_name":"FORTH Institute of Computer Science","ror":"https://ror.org/02tf48g55","country_code":"GR","type":"facility","lineage":["https://openalex.org/I4210121775","https://openalex.org/I8901234"]}],"countries":["BE","GR","US"],"is_corresponding":false,"raw_author_name":"M. Yannakakis","raw_affiliation_strings":["Un. de Li\u00e8ge","36 Dedalou Street, P.O. Box 1385, 71110 Iraklio, Crete, Greece","600 Mountain Avenue, Murray Hill, New Jersey 07974, U.S.A","DIMACS","Department K55/802, 650 Harry Road San Jose, California 95120-6099, U.S.A","Inst. of Comp. Sci., FORTH, Crete, Greece","Institut Montefiore, B28, B-4000 Li\u00e8ge Sart-Tilman, Belgium"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Un. de Li\u00e8ge","institution_ids":["https://openalex.org/I157674565"]},{"raw_affiliation_string":"36 Dedalou Street, P.O. Box 1385, 71110 Iraklio, Crete, Greece","institution_ids":["https://openalex.org/I4210103138"]},{"raw_affiliation_string":"600 Mountain Avenue, Murray Hill, New Jersey 07974, U.S.A","institution_ids":["https://openalex.org/I127362389"]},{"raw_affiliation_string":"DIMACS","institution_ids":["https://openalex.org/I2799411422"]},{"raw_affiliation_string":"Department K55/802, 650 Harry Road San Jose, California 95120-6099, U.S.A","institution_ids":["https://openalex.org/I1341412227"]},{"raw_affiliation_string":"Inst. of Comp. Sci., FORTH, Crete, Greece","institution_ids":["https://openalex.org/I4210121775"]},{"raw_affiliation_string":"Institut Montefiore, B28, B-4000 Li\u00e8ge Sart-Tilman, Belgium","institution_ids":["https://openalex.org/I157674565"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5048802608"],"corresponding_institution_ids":["https://openalex.org/I127362389","https://openalex.org/I1341412227","https://openalex.org/I157674565","https://openalex.org/I2799411422","https://openalex.org/I4210103138","https://openalex.org/I4210121775"],"apc_list":null,"apc_paid":null,"fwci":9.5388,"has_fulltext":false,"cited_by_count":22,"citation_normalized_percentile":{"value":0.98393574,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"207","last_page":"218"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9289000034332275,"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.9289000034332275,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6284855604171753},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.43254390358924866}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6284855604171753},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.43254390358924866}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1090/dimacs/003/15","is_oa":false,"landing_page_url":"https://doi.org/10.1090/dimacs/003/15","pdf_url":null,"source":{"id":"https://openalex.org/S4210177973","display_name":"DIMACS series in discrete mathematics and theoretical computer science","issn_l":"1052-1798","issn":["1052-1798","2472-4793"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"DIMACS Series in Discrete Mathematics and Theoretical Computer Science","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/7","display_name":"Affordable and clean energy","score":0.4399999976158142}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W1505315292","https://openalex.org/W1508152977","https://openalex.org/W1514236884","https://openalex.org/W1525928754","https://openalex.org/W1549194214","https://openalex.org/W1555070641","https://openalex.org/W1593428110","https://openalex.org/W1655990431","https://openalex.org/W1875868519","https://openalex.org/W1991956281","https://openalex.org/W2019881090","https://openalex.org/W2086440639","https://openalex.org/W2090398333","https://openalex.org/W2117189826","https://openalex.org/W2117747678","https://openalex.org/W2131101129","https://openalex.org/W2164989576","https://openalex.org/W2171708377","https://openalex.org/W2979799416","https://openalex.org/W4376851360"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2051487156","https://openalex.org/W2073681303","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2478288626","https://openalex.org/W2350741829"],"abstract_inverted_index":{"This":[0],"paper":[1],"addresses":[2],"the":[3,10,18,39,42,46,49,52,60,65,68,76,82,87,91,114,119,128],"problem":[4,54,78],"of":[5,12,15,41,48,64,86,107,116,118,122],"designing":[6],"memory-efficient":[7],"algorithms":[8,73,92,131],"for":[9],"verification":[11],"temporal":[13,23],"properties":[14,24],"finite-state":[16],"programs.Both":[17],"programs":[19],"and":[20,51],"their":[21],"desired":[22],"are":[25],"modeled":[26],"as":[27],"automata":[28],"on":[29],"infinite":[30],"words":[31],"(B\u00fcchi":[32],"automata).Verification":[33],"is":[34,55,113],"then":[35],"reduced":[36],"to":[37,93],"checking":[38],"emptiness":[40,77],"automaton":[43],"resulting":[44],"from":[45],"product":[47,69,88],"program":[50],"property.This":[53],"usually":[56],"solved":[57],"by":[58],"computing":[59],"strongly":[61,83],"connected":[62,84],"components":[63,85],"graph":[66],"representing":[67],"automaton.Here,":[70],"we":[71,98],"present":[72],"which":[74],"solve":[75],"without":[79],"explicitly":[80],"constructing":[81],"graph.By":[89],"allowing":[90],"err":[94],"with":[95,102],"some":[96],"probability,":[97],"can":[99],"implement":[100],"them":[101],"a":[103],"randomly":[104],"accessed":[105],"memory":[106],"size":[108],"O(n)":[109],"bits,":[110],"where":[111],"n":[112],"number":[115],"states":[117],"graph,":[120],"instead":[121],"O(n":[123],"log":[124],"n)":[125],"bits":[126],"that":[127],"presently":[129],"known":[130],"require.":[132]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2025-10-10T00:00:00"}