{"id":"https://openalex.org/W2144950612","doi":"https://doi.org/10.1134/s0361768809040057","title":"Integration of verification methods for program systems","display_name":"Integration of verification methods for program systems","publication_year":2009,"publication_date":"2009-07-01","ids":{"openalex":"https://openalex.org/W2144950612","doi":"https://doi.org/10.1134/s0361768809040057","mag":"2144950612"},"language":"en","primary_location":{"id":"doi:10.1134/s0361768809040057","is_oa":false,"landing_page_url":"https://doi.org/10.1134/s0361768809040057","pdf_url":null,"source":{"id":"https://openalex.org/S150218641","display_name":"Programming and Computer Software","issn_l":"0361-7688","issn":["0361-7688","1608-3261"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320267","host_organization_name":"Pleiades Publishing","host_organization_lineage":["https://openalex.org/P4310320267","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Pleiades Publishing","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Programming and Computer Software","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/A5025737715","display_name":"\u0412. \u0412. \u041a\u0443\u043b\u044f\u043c\u0438\u043d","orcid":"https://orcid.org/0000-0003-3439-9534"},"institutions":[{"id":"https://openalex.org/I4210101868","display_name":"Institute for System Programming","ror":"https://ror.org/017ef8252","country_code":"RU","type":"facility","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210101868","https://openalex.org/I4210124601"]},{"id":"https://openalex.org/I1313323035","display_name":"Russian Academy of Sciences","ror":"https://ror.org/05qrfxd25","country_code":"RU","type":"funder","lineage":["https://openalex.org/I1313323035"]}],"countries":["RU"],"is_corresponding":true,"raw_author_name":"V. V. Kuliamin","raw_affiliation_strings":["Institute for System Programming, Russian Academy of Sciences, ul. Solzhenitsyna 25, Moscow, 109004, Russia","Institute for System Programming Russian Academy of Sciences, , Moscow, Russia 109004#TAB#"],"affiliations":[{"raw_affiliation_string":"Institute for System Programming, Russian Academy of Sciences, ul. Solzhenitsyna 25, Moscow, 109004, Russia","institution_ids":["https://openalex.org/I4210101868"]},{"raw_affiliation_string":"Institute for System Programming Russian Academy of Sciences, , Moscow, Russia 109004#TAB#","institution_ids":["https://openalex.org/I1313323035"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5025737715"],"corresponding_institution_ids":["https://openalex.org/I1313323035","https://openalex.org/I4210101868"],"apc_list":null,"apc_paid":null,"fwci":0.4524,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.69277234,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"35","issue":"4","first_page":"212","last_page":"222"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998999834060669,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998999834060669,"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 Verification","score":0.9997000098228455,"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.9994000196456909,"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.7725125551223755},{"id":"https://openalex.org/keywords/software-verification","display_name":"Software verification","score":0.6431347131729126},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5877966284751892},{"id":"https://openalex.org/keywords/extensibility","display_name":"Extensibility","score":0.5791373252868652},{"id":"https://openalex.org/keywords/verification","display_name":"Verification","score":0.5787739157676697},{"id":"https://openalex.org/keywords/functional-verification","display_name":"Functional verification","score":0.5457276105880737},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.5018346309661865},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.4974820911884308},{"id":"https://openalex.org/keywords/runtime-verification","display_name":"Runtime verification","score":0.481569766998291},{"id":"https://openalex.org/keywords/intelligent-verification","display_name":"Intelligent verification","score":0.4795234501361847},{"id":"https://openalex.org/keywords/verification-and-validation","display_name":"Verification and validation","score":0.47586649656295776},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.44248828291893005},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.43660280108451843},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.37390440702438354},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.2729322016239166},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.12155431509017944}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7725125551223755},{"id":"https://openalex.org/C33054407","wikidata":"https://www.wikidata.org/wiki/Q6504747","display_name":"Software verification","level":5,"score":0.6431347131729126},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5877966284751892},{"id":"https://openalex.org/C32833848","wikidata":"https://www.wikidata.org/wiki/Q4115054","display_name":"Extensibility","level":2,"score":0.5791373252868652},{"id":"https://openalex.org/C142284323","wikidata":"https://www.wikidata.org/wiki/Q7921323","display_name":"Verification","level":5,"score":0.5787739157676697},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.5457276105880737},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.5018346309661865},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.4974820911884308},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.481569766998291},{"id":"https://openalex.org/C3406870","wikidata":"https://www.wikidata.org/wiki/Q6044160","display_name":"Intelligent verification","level":5,"score":0.4795234501361847},{"id":"https://openalex.org/C48002344","wikidata":"https://www.wikidata.org/wiki/Q2919644","display_name":"Verification and validation","level":2,"score":0.47586649656295776},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.44248828291893005},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.43660280108451843},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.37390440702438354},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.2729322016239166},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.12155431509017944},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1134/s0361768809040057","is_oa":false,"landing_page_url":"https://doi.org/10.1134/s0361768809040057","pdf_url":null,"source":{"id":"https://openalex.org/S150218641","display_name":"Programming and Computer Software","issn_l":"0361-7688","issn":["0361-7688","1608-3261"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320267","host_organization_name":"Pleiades Publishing","host_organization_lineage":["https://openalex.org/P4310320267","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Pleiades Publishing","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Programming and Computer Software","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":79,"referenced_works":["https://openalex.org/W35845292","https://openalex.org/W50594641","https://openalex.org/W68069235","https://openalex.org/W121479631","https://openalex.org/W292520766","https://openalex.org/W659233179","https://openalex.org/W1491663515","https://openalex.org/W1503178494","https://openalex.org/W1516255433","https://openalex.org/W1518498967","https://openalex.org/W1548806133","https://openalex.org/W1570186190","https://openalex.org/W1570738019","https://openalex.org/W1576866974","https://openalex.org/W1577562415","https://openalex.org/W1578560741","https://openalex.org/W1580328473","https://openalex.org/W1582288162","https://openalex.org/W1596552075","https://openalex.org/W1606177908","https://openalex.org/W1606436461","https://openalex.org/W1608087281","https://openalex.org/W1748362124","https://openalex.org/W1755257908","https://openalex.org/W1821489642","https://openalex.org/W1835501018","https://openalex.org/W1845288303","https://openalex.org/W1943502734","https://openalex.org/W1967359702","https://openalex.org/W1968898611","https://openalex.org/W1983333675","https://openalex.org/W1986447758","https://openalex.org/W1989167654","https://openalex.org/W1993836075","https://openalex.org/W2025304834","https://openalex.org/W2032559836","https://openalex.org/W2040739365","https://openalex.org/W2055647675","https://openalex.org/W2089139117","https://openalex.org/W2096449544","https://openalex.org/W2100509764","https://openalex.org/W2101629181","https://openalex.org/W2107709519","https://openalex.org/W2107778618","https://openalex.org/W2107995193","https://openalex.org/W2110311336","https://openalex.org/W2112144216","https://openalex.org/W2119965246","https://openalex.org/W2120552859","https://openalex.org/W2124377830","https://openalex.org/W2125705730","https://openalex.org/W2126606154","https://openalex.org/W2131195907","https://openalex.org/W2132897303","https://openalex.org/W2133612077","https://openalex.org/W2140320019","https://openalex.org/W2142840138","https://openalex.org/W2146641295","https://openalex.org/W2156176134","https://openalex.org/W2158395308","https://openalex.org/W2158798798","https://openalex.org/W2161488870","https://openalex.org/W2171480813","https://openalex.org/W2337124272","https://openalex.org/W2583032417","https://openalex.org/W2614188817","https://openalex.org/W2997240630","https://openalex.org/W3021956336","https://openalex.org/W3158747708","https://openalex.org/W4213079124","https://openalex.org/W4230796557","https://openalex.org/W4234459169","https://openalex.org/W4237492309","https://openalex.org/W4239921445","https://openalex.org/W4240621788","https://openalex.org/W4241570254","https://openalex.org/W4246385123","https://openalex.org/W4249974020","https://openalex.org/W4252879394"],"related_works":["https://openalex.org/W2325633191","https://openalex.org/W2361881307","https://openalex.org/W2392047570","https://openalex.org/W4205300843","https://openalex.org/W2035244079","https://openalex.org/W3036403349","https://openalex.org/W4205924073","https://openalex.org/W2350806125","https://openalex.org/W4301348901","https://openalex.org/W2355428260"],"abstract_inverted_index":{"In":[0,18],"the":[1,11,19,35],"paper,":[2],"an":[3,7],"approach":[4],"to":[5,31],"constructing":[6],"extensible":[8],"framework":[9,42],"for":[10,49],"verification":[12,29,58],"of":[13,26,37,53,56],"program":[14],"systems":[15],"is":[16],"suggested.":[17],"author\u2019s":[20],"opinion,":[21],"it":[22],"will":[23],"facilitate":[24],"application":[25],"modern":[27],"rigorous":[28],"methods":[30],"practically":[32],"significant":[33],"programs,":[34],"complexity":[36],"which":[38],"permanently":[39],"grows.":[40],"This":[41],"can":[43],"also":[44],"become":[45],"a":[46],"test":[47],"harness":[48],"testing":[50],"and":[51,59],"adjustment":[52],"new":[54],"techniques":[55],"formal":[57],"static":[60],"analysis":[61],"on":[62],"various":[63],"industrial":[64],"software":[65],"packages.":[66]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}