{"id":"https://openalex.org/W2075123008","doi":"https://doi.org/10.1002/1520-684x(200008)31:9<1::aid-scj1>3.0.co;2-1","title":"Yet more image computations for SMV, the symbolic model verifier","display_name":"Yet more image computations for SMV, the symbolic model verifier","publication_year":2000,"publication_date":"2000-01-01","ids":{"openalex":"https://openalex.org/W2075123008","doi":"https://doi.org/10.1002/1520-684x(200008)31:9<1::aid-scj1>3.0.co;2-1","mag":"2075123008"},"language":"en","primary_location":{"id":"doi:10.1002/1520-684x(200008)31:9<1::aid-scj1>3.0.co;2-1","is_oa":false,"landing_page_url":"https://doi.org/10.1002/1520-684x(200008)31:9<1::aid-scj1>3.0.co;2-1","pdf_url":null,"source":{"id":"https://openalex.org/S58208175","display_name":"Systems and Computers in Japan","issn_l":"0882-1666","issn":["0882-1666","1520-684X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Systems and Computers in Japan","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/A5078043326","display_name":"Hiromi Hiraishi","orcid":null},"institutions":[{"id":"https://openalex.org/I168356945","display_name":"Kyoto Sangyo University","ror":"https://ror.org/05t70xh16","country_code":"JP","type":"education","lineage":["https://openalex.org/I168356945"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Hiromi Hiraishi","raw_affiliation_strings":["Faculty of Engineering, Kyoto Sangyo University, Kyoto, Japan 603-8555","Faculty of Engineering, Kyoto Sangyo University, Kyoto, Japan 603\u20108555"],"affiliations":[{"raw_affiliation_string":"Faculty of Engineering, Kyoto Sangyo University, Kyoto, Japan 603-8555","institution_ids":["https://openalex.org/I168356945"]},{"raw_affiliation_string":"Faculty of Engineering, Kyoto Sangyo University, Kyoto, Japan 603\u20108555","institution_ids":["https://openalex.org/I168356945"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5078043326"],"corresponding_institution_ids":["https://openalex.org/I168356945"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.14404961,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"31","issue":"9","first_page":"1","last_page":"9"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10363","display_name":"Low-power high-performance VLSI design","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9977999925613403,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/image","display_name":"Image (mathematics)","score":0.5998489260673523},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5969855189323425},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5048497319221497},{"id":"https://openalex.org/keywords/symbolic-trajectory-evaluation","display_name":"Symbolic trajectory evaluation","score":0.45514822006225586},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.43245941400527954},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3395377993583679},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.30370032787323},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.27577000856399536}],"concepts":[{"id":"https://openalex.org/C115961682","wikidata":"https://www.wikidata.org/wiki/Q860623","display_name":"Image (mathematics)","level":2,"score":0.5998489260673523},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5969855189323425},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5048497319221497},{"id":"https://openalex.org/C23123167","wikidata":"https://www.wikidata.org/wiki/Q7661193","display_name":"Symbolic trajectory evaluation","level":3,"score":0.45514822006225586},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.43245941400527954},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3395377993583679},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.30370032787323},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.27577000856399536}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1002/1520-684x(200008)31:9<1::aid-scj1>3.0.co;2-1","is_oa":false,"landing_page_url":"https://doi.org/10.1002/1520-684x(200008)31:9<1::aid-scj1>3.0.co;2-1","pdf_url":null,"source":{"id":"https://openalex.org/S58208175","display_name":"Systems and Computers in Japan","issn_l":"0882-1666","issn":["0882-1666","1520-684X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Systems and Computers in Japan","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W1498457073","https://openalex.org/W1503170978","https://openalex.org/W1550105208","https://openalex.org/W1554095306","https://openalex.org/W1564947547","https://openalex.org/W1992006255","https://openalex.org/W1994143452","https://openalex.org/W2054554282","https://openalex.org/W2080267935","https://openalex.org/W2113251992","https://openalex.org/W2150119568","https://openalex.org/W4300021588","https://openalex.org/W6629766498","https://openalex.org/W6633284781","https://openalex.org/W6648194185","https://openalex.org/W6676880497","https://openalex.org/W6681914083","https://openalex.org/W6903348357"],"related_works":["https://openalex.org/W2365988016","https://openalex.org/W1785234853","https://openalex.org/W2038864046","https://openalex.org/W1742935137","https://openalex.org/W1545972740","https://openalex.org/W2156717832","https://openalex.org/W1852145007","https://openalex.org/W2182602702","https://openalex.org/W4235160909","https://openalex.org/W1484021165"],"abstract_inverted_index":{"This":[0],"paper":[1],"describes":[2],"a":[3,114],"collection":[4],"of":[5,11,21,44,47,60,70,78,85,116],"techniques":[6,37,107],"to":[7,75,118,122],"improve":[8],"the":[9,12,19,22,42,45,57,64,68,71,76,82,86,92,97,105,123],"efficiency":[10,43],"pre-":[13],"and":[14,90,111],"postimage":[15,65],"computations":[16],"that":[17,104],"are":[18,52,108],"core":[20],"Symbolic":[23],"Model":[24],"Verifier":[25],"(SMV),":[26],"which":[27],"is":[28],"used":[29],"for":[30,96],"formal":[31],"logic":[32],"design":[33],"verification.":[34],"The":[35,50,100],"proposed":[36,106],"aim":[38],"mostly":[39],"at":[40],"improving":[41],"verification":[46,77],"asynchronous":[48,79],"processes.":[49],"improvements":[51],"mainly":[53],"made":[54],"by":[55],"(1)":[56],"early":[58,83],"elimination":[59],"process":[61],"variables":[62],"in":[63,113],"computations,":[66],"(2)":[67],"application":[69],"conjunctive":[72],"partitioning":[73],"technique":[74],"processes,":[80],"(3)":[81],"substitution":[84,94],"stable":[87],"state":[88],"variables,":[89],"(4)":[91],"nondeterministic":[93],"method":[95],"preimage":[98],"computations.":[99],"experimental":[101],"measurements":[102],"show":[103],"very":[109],"effective":[110],"result":[112],"speedup":[115],"up":[117],"50":[119],"times":[120],"compared":[121],"original":[124],"SMV.":[125],"\u00a9":[126],"2000":[127,135],"Scripta":[128],"Technica,":[129],"Syst":[130],"Comp":[131],"Jpn,":[132],"31(9):":[133],"1\u20139,":[134]},"counts_by_year":[{"year":2022,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}