{"id":"https://openalex.org/W2125627214","doi":"https://doi.org/10.1109/ase.2002.1115041","title":"Distributed modular model checking","display_name":"Distributed modular model checking","publication_year":2002,"publication_date":"2002-01-01","ids":{"openalex":"https://openalex.org/W2125627214","doi":"https://doi.org/10.1109/ase.2002.1115041","mag":"2125627214"},"language":"en","primary_location":{"id":"doi:10.1109/ase.2002.1115041","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ase.2002.1115041","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings 17th IEEE International Conference on Automated Software Engineering,","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/A5062957547","display_name":"Jitka Crhov\u00e1","orcid":null},"institutions":[{"id":"https://openalex.org/I21449261","display_name":"Masaryk University","ror":"https://ror.org/02j46qs45","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21449261"]}],"countries":["CZ"],"is_corresponding":true,"raw_author_name":"J. Crhova","raw_affiliation_strings":["Dept. of Comput. Sci., Masaryk Univ., Brno, Czech Republic"],"affiliations":[{"raw_affiliation_string":"Dept. of Comput. Sci., Masaryk Univ., Brno, Czech Republic","institution_ids":["https://openalex.org/I21449261"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5062957547"],"corresponding_institution_ids":["https://openalex.org/I21449261"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.19035707,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"312","last_page":"312"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9950000047683716,"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.9950000047683716,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.991599977016449,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9761000275611877,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/model-checking","display_name":"Model checking","score":0.8959863781929016},{"id":"https://openalex.org/keywords/abstraction-model-checking","display_name":"Abstraction model checking","score":0.8088733553886414},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8041245937347412},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.747376561164856},{"id":"https://openalex.org/keywords/state-space","display_name":"State space","score":0.5745980739593506},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.5533046722412109},{"id":"https://openalex.org/keywords/modularity","display_name":"Modularity (biology)","score":0.5428519248962402},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.5281659960746765},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5116241574287415},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.45624297857284546},{"id":"https://openalex.org/keywords/combinatorial-explosion","display_name":"Combinatorial explosion","score":0.4541343152523041},{"id":"https://openalex.org/keywords/partition","display_name":"Partition (number theory)","score":0.4525468051433563},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.44793710112571716},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.4452190399169922},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.4262327551841736},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3791123628616333},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.10637298226356506}],"concepts":[{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.8959863781929016},{"id":"https://openalex.org/C30888246","wikidata":"https://www.wikidata.org/wiki/Q4669969","display_name":"Abstraction model checking","level":3,"score":0.8088733553886414},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8041245937347412},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.747376561164856},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.5745980739593506},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5533046722412109},{"id":"https://openalex.org/C2779478453","wikidata":"https://www.wikidata.org/wiki/Q6889748","display_name":"Modularity (biology)","level":2,"score":0.5428519248962402},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.5281659960746765},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5116241574287415},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.45624297857284546},{"id":"https://openalex.org/C115908005","wikidata":"https://www.wikidata.org/wiki/Q2668364","display_name":"Combinatorial explosion","level":2,"score":0.4541343152523041},{"id":"https://openalex.org/C42812","wikidata":"https://www.wikidata.org/wiki/Q1082910","display_name":"Partition (number theory)","level":2,"score":0.4525468051433563},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.44793710112571716},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.4452190399169922},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.4262327551841736},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3791123628616333},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.10637298226356506},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/ase.2002.1115041","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ase.2002.1115041","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings 17th IEEE International Conference on Automated Software Engineering,","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2030935018","https://openalex.org/W2350953867","https://openalex.org/W2477338659","https://openalex.org/W2186626863","https://openalex.org/W1551070491","https://openalex.org/W2203774400","https://openalex.org/W2013878945","https://openalex.org/W2081369054","https://openalex.org/W2157373800","https://openalex.org/W2011716301"],"abstract_inverted_index":{"Summary":[0],"form":[1],"only":[2],"given.":[3],"Model":[4],"checking":[5,34,105,118,130,162],"is":[6,37,45,57,86],"a":[7,13,18,21,25,64,156],"formal":[8],"method":[9],"that":[10,50,79,150,186],"verifies":[11],"whether":[12],"finite":[14],"state":[15,41,53,61,83,122,178],"model":[16,33,104,117,129,161],"of":[17,47,66,92,137],"system":[19,135],"satisfies":[20],"specification":[22],"given":[23],"as":[24,69,114],"temporal":[26],"logic":[27],"formula.":[28],"The":[29,55],"most":[30],"severe":[31],"problem":[32,85],"suffers":[35],"from":[36,121],"the":[38,48,52,60,82,90,93,102,115,127,134,165,177,188,192],"so":[39,68],"called":[40],"explosion":[42,84,123],"problem.":[43,106],"Distribution":[44],"one":[46,138],"techniques":[49,100,131],"combat":[51],"explosion.":[54],"aim":[56],"to":[58,70,73,97,101,171,175,182],"distribute":[59],"space":[62],"among":[63],"number":[65],"computers":[67],"be":[71,109,152],"able":[72],"verify":[74],"larger":[75],"systems.":[76],"Another":[77],"approach":[78],"deals":[80],"with":[81],"modularity,":[87],"i.e.":[88],"exploiting":[89],"structure":[91,149],"system.":[94],"We":[95],"propose":[96],"employ":[98],"modular":[99,166,173],"distributed":[103,160,193],"This":[107],"can":[108,151],"useful":[110],"especially":[111],"for":[112,159],"software,":[113],"software":[116,143],"algorithms":[119],"suffer":[120],"more":[124],"severely":[125],"than":[126],"hardware":[128],"even":[132],"when":[133],"consists":[136],"sequential":[139],"finite-state":[140],"component.":[141],"Moreover,":[142],"programs":[144],"have":[145],"typically":[146],"richer":[147],"syntactic":[148],"exploited.":[153],"Besides":[154],"elaborating":[155],"theoretical":[157],"background":[158],"based":[163],"on":[164],"approach,":[167],"we":[168],"also":[169],"intend":[170],"develop":[172],"approaches":[174],"partitioning":[176],"space,":[179],"in":[180,191],"particular":[181],"define":[183],"partition":[184],"functions":[185],"reduce":[187],"necessary":[189],"communication":[190],"environment.":[194]},"counts_by_year":[{"year":2018,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}