{"id":"https://openalex.org/W2398124260","doi":"https://doi.org/10.1109/fmcad.2015.7542243","title":"Democratization of formal verification with collective intelligence","display_name":"Democratization of formal verification with collective intelligence","publication_year":2015,"publication_date":"2015-09-01","ids":{"openalex":"https://openalex.org/W2398124260","doi":"https://doi.org/10.1109/fmcad.2015.7542243","mag":"2398124260"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/fmcad.2015.7542243","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-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/A5068008369","display_name":"Ziyad Hanna","orcid":null},"institutions":[{"id":"https://openalex.org/I66217453","display_name":"Cadence Design Systems (United States)","ror":"https://ror.org/04w8xa018","country_code":"US","type":"company","lineage":["https://openalex.org/I66217453"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Ziyad Hanna","raw_affiliation_strings":["Cadence Design Systems"],"affiliations":[{"raw_affiliation_string":"Cadence Design Systems","institution_ids":["https://openalex.org/I66217453"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5068008369"],"corresponding_institution_ids":["https://openalex.org/I66217453"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":0,"max":66},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T11450","display_name":"Model-Driven Engineering in Software Development","score":0.9933,"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"}},"topics":[{"id":"https://openalex.org/T11450","display_name":"Model-Driven Engineering in Software Development","score":0.9933,"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/T10142","display_name":"Formal Methods in Software Verification and Control","score":0.9912,"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/T10904","display_name":"Reconfigurable Computing Systems and Design Methods","score":0.9891,"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/safety-verification","display_name":"Safety Verification","score":0.548331},{"id":"https://openalex.org/keywords/functional-verification","display_name":"Functional verification","score":0.53676564},{"id":"https://openalex.org/keywords/runtime-verification","display_name":"Runtime Verification","score":0.516634},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model Checking","score":0.514598},{"id":"https://openalex.org/keywords/intelligent-verification","display_name":"Intelligent verification","score":0.5090603},{"id":"https://openalex.org/keywords/tool-integration","display_name":"Tool Integration","score":0.505123}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8048426},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.6966067},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.5934659},{"id":"https://openalex.org/C149810388","wikidata":"https://www.wikidata.org/wiki/Q5374873","display_name":"Emulation","level":2,"score":0.5911229},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5422621},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.53676564},{"id":"https://openalex.org/C170130773","wikidata":"https://www.wikidata.org/wiki/Q216378","display_name":"Usability","level":2,"score":0.5280588},{"id":"https://openalex.org/C3406870","wikidata":"https://www.wikidata.org/wiki/Q6044160","display_name":"Intelligent verification","level":5,"score":0.5090603},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.4670806},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.45147294},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.20738459},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.177463},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.130229},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.11787143},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.0},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C50522688","wikidata":"https://www.wikidata.org/wiki/Q189833","display_name":"Economic growth","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/fmcad.2015.7542243","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/8","score":0.41,"display_name":"Decent work and economic growth"}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4375857205","https://openalex.org/W3120172095","https://openalex.org/W3036403349","https://openalex.org/W2535719568","https://openalex.org/W2153955347","https://openalex.org/W2118572231","https://openalex.org/W2106507440","https://openalex.org/W2105593427","https://openalex.org/W2037352836","https://openalex.org/W1563456403"],"abstract_inverted_index":{"Summary":[0],"form":[1],"only":[2],"given.":[3],"Formal":[4],"verification":[5,15,103,141],"has":[6,48],"become":[7],"an":[8,106],"essential":[9],"method":[10],"for":[11,97,150,156],"design,":[12],"integration":[13],"and":[14,21,34,42,77,118,121,131,143,146,164],"of":[16,58,85,101,154,166],"the":[17,25,32,55,82,99,125,139,162],"emerging":[18,83,126],"design":[19,86],"IPs":[20],"complex":[22],"systems-on-chips.":[23],"Despite":[24],"great":[26,38],"success":[27],"in":[28,31,128,161],"proliferating":[29],"formal":[30,102,140],"industry":[33],"making":[35],"it":[36,148],"a":[37,67,94,151],"companion":[39],"to":[40,53,73,79,137],"simulation":[41],"emulation":[43],"methods,":[44],"its":[45,75],"full":[46],"power":[47],"not":[49],"been":[50],"leveraged":[51],"yet":[52,157],"address":[54],"larger":[56,152],"spectrum":[57],"applications":[59,163],"by":[60,112],"non-formal":[61],"experts.":[62],"To":[63],"handle":[64],"this":[65,90],"challenge":[66],"major":[68,159],"effort":[69],"is":[70,110],"still":[71],"needed":[72],"boost":[74],"scalability":[76,144],"usability":[78],"cope":[80],"with":[81],"complexity":[84,142],"under":[87],"verification.":[88],"In":[89],"talk":[91],"we":[92],"discuss":[93],"new":[95],"approach":[96],"boosting":[98],"productivity":[100,165],"users":[104],"using":[105],"expert":[107,134],"system,":[108],"which":[109],"powered":[111],"collective":[113],"intelligence":[114],"technology,":[115],"human-machine":[116],"interface":[117],"self":[119],"guiding":[120],"learning":[122],"rules.":[123],"Besides":[124],"advancements":[127],"model":[129],"checking":[130],"proof":[132],"strategies,":[133],"system":[135],"helps":[136],"break":[138],"barriers,":[145],"make":[147],"affordable":[149],"set":[153],"users,":[155],"another":[158],"leap":[160],"formal.":[167]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2398124260","counts_by_year":[],"updated_date":"2024-09-27T03:39:59.299442","created_date":"2016-06-24"}
