{"id":"https://openalex.org/W1566445602","doi":null,"title":"Software Verification for Programmable Logic Controllers","display_name":"Software Verification for Programmable Logic Controllers","publication_year":2006,"publication_date":"2006-07-07","ids":{"openalex":"https://openalex.org/W1566445602","mag":"1566445602"},"language":"en","primary_location":{"id":"pmh:oai:macau.uni-kiel.de:diss_mods_00000726","doi":null,"is_oa":true,"landing_page_url":"https://nbn-resolving.org/urn:nbn:de:gbv:8-diss-7260","pdf_url":"https://nbn-resolving.org/urn:nbn:de:gbv:8-diss-7260","source":{"id":"https://openalex.org/S4306400664","display_name":"Multimedialen Archiv und Publikationsserver der Christian-Albrechts-Universit\u00e4t zu Kiel (Christian-Albrechts-Universit\u00e4t zu Kiel)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I151221077","host_organization_name":"Chung Yuan Christian University","host_organization_lineage":["https://openalex.org/I151221077"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"dissertation"},"volume":null,"type":"dissertation","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://nbn-resolving.org/urn:nbn:de:gbv:8-diss-7260","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5019653057","display_name":"Ralf Huuck","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Ralf Huuck","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5019653057"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":32,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"76"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.6478999853134155,"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/T10126","display_name":"Logic, programming, and type systems","score":0.6478999853134155,"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.2904999852180481,"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/T13344","display_name":"Industrial Automation and Control Systems","score":0.023800000548362732,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/programmable-logic-controller","display_name":"programmable logic controller","score":0.9350000023841858},{"id":"https://openalex.org/keywords/software-verification","display_name":"software verification","score":0.8069999814033508},{"id":"https://openalex.org/keywords/model-checking","display_name":"model checking","score":0.8799999952316284},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"temporal logic","score":0.6019999980926514},{"id":"https://openalex.org/keywords/fixed-points","display_name":"fixed points","score":0.5009999871253967},{"id":"https://openalex.org/keywords/lattices","display_name":"lattices","score":0.7419999837875366},{"id":"https://openalex.org/keywords/complete-partial-orders","display_name":"complete partial orders","score":0.8149999976158142},{"id":"https://openalex.org/keywords/sequential-function-chart","display_name":"sequential function charts","score":0.7850000262260437},{"id":"https://openalex.org/keywords/ladder-diagrams","display_name":"ladder diagrams","score":0.9509999752044678},{"id":"https://openalex.org/keywords/instruction-list","display_name":"instruction list","score":0.8790000081062317},{"id":"https://openalex.org/keywords/safety-critical-systems","display_name":"safety-critical systems","score":0.5740000009536743},{"id":"https://openalex.org/keywords/formal-verification","display_name":"formal verification","score":0.31299999356269836}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7338535785675049},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.646237850189209},{"id":"https://openalex.org/C176359209","wikidata":"https://www.wikidata.org/wiki/Q2348963","display_name":"Control flow analysis","level":5,"score":0.6424686312675476},{"id":"https://openalex.org/C37374048","wikidata":"https://www.wikidata.org/wiki/Q188674","display_name":"Programmable logic controller","level":2,"score":0.6282572746276855},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.5467655658721924},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.5101600289344788},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.5088308453559875},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5031258463859558},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.481550008058548},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.4690903425216675},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4407760202884674},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.31910213828086853},{"id":"https://openalex.org/C120558287","wikidata":"https://www.wikidata.org/wiki/Q1418502","display_name":"Procedural programming","level":4,"score":0.2918842136859894},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1165715754032135},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.11594831943511963},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"pmh:oai:macau.uni-kiel.de:diss_mods_00000726","doi":null,"is_oa":true,"landing_page_url":"https://nbn-resolving.org/urn:nbn:de:gbv:8-diss-7260","pdf_url":"https://nbn-resolving.org/urn:nbn:de:gbv:8-diss-7260","source":{"id":"https://openalex.org/S4306400664","display_name":"Multimedialen Archiv und Publikationsserver der Christian-Albrechts-Universit\u00e4t zu Kiel (Christian-Albrechts-Universit\u00e4t zu Kiel)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I151221077","host_organization_name":"Chung Yuan Christian University","host_organization_lineage":["https://openalex.org/I151221077"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"dissertation"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.4.1571","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.4.1571","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://e-diss.uni-kiel.de/diss_726/d726.pdf","raw_type":"text"},{"id":"pmh:oai:macau.uni-kiel.de:dissertation_diss_00000726","doi":null,"is_oa":true,"landing_page_url":"https://macau.uni-kiel.de/receive/dissertation_diss_00000726","pdf_url":null,"source":{"id":"https://openalex.org/S4306400664","display_name":"Multimedialen Archiv und Publikationsserver der Christian-Albrechts-Universit\u00e4t zu Kiel (Christian-Albrechts-Universit\u00e4t zu Kiel)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I151221077","host_organization_name":"Chung Yuan Christian University","host_organization_lineage":["https://openalex.org/I151221077"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"doc-type:doctoralThesis"},{"id":"mag:1566445602","doi":null,"is_oa":false,"landing_page_url":"https://macau.uni-kiel.de/servlets/MCRFileNodeServlet/dissertation_derivate_00000726/d726.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"pmh:oai:macau.uni-kiel.de:diss_mods_00000726","doi":null,"is_oa":true,"landing_page_url":"https://nbn-resolving.org/urn:nbn:de:gbv:8-diss-7260","pdf_url":"https://nbn-resolving.org/urn:nbn:de:gbv:8-diss-7260","source":{"id":"https://openalex.org/S4306400664","display_name":"Multimedialen Archiv und Publikationsserver der Christian-Albrechts-Universit\u00e4t zu Kiel (Christian-Albrechts-Universit\u00e4t zu Kiel)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I151221077","host_organization_name":"Chung Yuan Christian University","host_organization_lineage":["https://openalex.org/I151221077"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"dissertation"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1566445602.pdf","grobid_xml":"https://content.openalex.org/works/W1566445602.grobid-xml"},"referenced_works_count":65,"referenced_works":["https://openalex.org/W2852225","https://openalex.org/W49331338","https://openalex.org/W143921923","https://openalex.org/W953200356","https://openalex.org/W1481403881","https://openalex.org/W1491178396","https://openalex.org/W1498285565","https://openalex.org/W1503973138","https://openalex.org/W1507495123","https://openalex.org/W1511390137","https://openalex.org/W1517173520","https://openalex.org/W1526206095","https://openalex.org/W1527451030","https://openalex.org/W1528345137","https://openalex.org/W1541947827","https://openalex.org/W1546220007","https://openalex.org/W1546606300","https://openalex.org/W1553894716","https://openalex.org/W1573724186","https://openalex.org/W1586554382","https://openalex.org/W1606860058","https://openalex.org/W1726736548","https://openalex.org/W1983409972","https://openalex.org/W1988808695","https://openalex.org/W1993836075","https://openalex.org/W1997456729","https://openalex.org/W2000947342","https://openalex.org/W2004463571","https://openalex.org/W2007181618","https://openalex.org/W2030224590","https://openalex.org/W2040060046","https://openalex.org/W2055295051","https://openalex.org/W2060095702","https://openalex.org/W2069300761","https://openalex.org/W2080267935","https://openalex.org/W2081938726","https://openalex.org/W2082000355","https://openalex.org/W2084875723","https://openalex.org/W2088017390","https://openalex.org/W2090551028","https://openalex.org/W2093397547","https://openalex.org/W2097697841","https://openalex.org/W2101508170","https://openalex.org/W2102097307","https://openalex.org/W2102950667","https://openalex.org/W2107995193","https://openalex.org/W2113355185","https://openalex.org/W2114067856","https://openalex.org/W2115309705","https://openalex.org/W2117218135","https://openalex.org/W2118229393","https://openalex.org/W2121372686","https://openalex.org/W2132150351","https://openalex.org/W2132661148","https://openalex.org/W2140769622","https://openalex.org/W2146455667","https://openalex.org/W2161773136","https://openalex.org/W2166802518","https://openalex.org/W2285046923","https://openalex.org/W2339337913","https://openalex.org/W2341171179","https://openalex.org/W2660194256","https://openalex.org/W3120211617","https://openalex.org/W3144368627","https://openalex.org/W3144889436"],"related_works":["https://openalex.org/W2029825845","https://openalex.org/W2009129255","https://openalex.org/W2155906338","https://openalex.org/W3144556681","https://openalex.org/W7062529774","https://openalex.org/W2612164575","https://openalex.org/W2728472745","https://openalex.org/W1541947827","https://openalex.org/W2147354115","https://openalex.org/W285995161"],"abstract_inverted_index":{"Interpretation":[0,551],".":[1,2,3,4,5,6,7,8,9,10,11,12,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,73,74,75,76,77,78,79,80,81,90,91,92,100,101,102,103,104,105,106,107,113,114,115,116,117,118,119,120,121,122,123,124,132,133,134,135,136,137,138,139,140,141,142,143,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233,234,235,236,237,238,239,240,246,247,248,249,250,251,252,253,254,255,256,257,258,259,260,261,262,267,268,269,270,271,272,273,274,275,276,277,278,279,280,281,282,283,284,285,286,287,288,289,294,295,296,297,298,299,300,301,302,303,304,305,306,307,308,309,310,311,312,313,314,315,316,317,318,319,324,325,326,327,328,329,330,331,332,333,334,335,336,337,338,339,340,341,342,343,344,345,346,351,352,353,354,355,356,357,358,359,360,361,362,363,364,365,366,367,368,373,374,375,376,377,378,379,380,381,382,383,384,385,386,387,388,389,390,391,392,393,399,400,401,402,403,404,405,406,407,408,409,410,411,412,413,414,415,416,421,422,423,424,425,426,427,428,429,430,431,432,433,434,435,436,437,438,439,440,446,447,448,449,450,451,452,453,454,455,456,457,458,459,460,461,462,463,464,465,466,467,468,469,474,475,476,477,478,479,480,481,482,483,484,485,486,487,488,489,490,491,492,493,494,501,502,503,504,505,506,507,508,509,510,511,512,513,520,521,522,523,524,525,526,527,528,529,530,531,532,533,541,542,543,544,545,546,547,552,553,554,555,556,557,558,559,560,561,562,563,564,565,566,567,568,569,570,571,572,577,578,579,580,581,582,583,584,585,586,587,588,589,590,591,592,593,594,595,596],"26":[13],"2.1.3":[14],"Other":[15,111],"Approaches":[16,68,84,95,112],"27":[37,66],"2.2":[38],"PLC":[39,130],"Verification":[40,181],"2.2.1":[67],"Based":[69,85,96],"on":[70,86,97],"Instruction":[71],"List":[72],"28":[82],"2.2.2":[83],"Sequential":[87],"Function":[88],"Charts":[89],"29":[93],"2.2.3":[94],"Ladder":[98],"Diagrams":[99],"30":[108],"2.2.4":[109],"Miscellaneous":[110],"31":[125,144],"2.2.5":[126],"Matrix":[127],"of":[128,179],"Surveyed":[129],"Papers":[131],"2.3":[145],"Discussion":[146],"33":[176],"3":[177],"Foundations":[178],"Software":[180],"35":[182],"3.2":[183],"Preliminaries":[184],"36":[212,241],"3.2.1":[213],"Lattices":[214],"3.2.2":[242],"Complete":[243],"Partial":[244],"Orders":[245],"39":[263],"3.2.3":[264],"Fixed":[265,599],"Points":[266],"40":[290],"3.3":[291],"Model":[292,323,350],"Checking":[293],"43":[320,347],"3.3.1":[321],"System":[322],"3.3.2":[348],"Computational":[349],"46":[369],"3.3.3":[370],"Temporal":[371],"Logics":[372],"47":[394],"3.3.4":[395],"Tools":[396],"and":[397],"Limitations":[398],"49":[417],"3.3.5":[418],"Complexity":[419],"Issues":[420],"50":[441],"3.4":[442],"Data":[443,498,517],"Flow":[444,499,518],"Analysis":[445],"53":[470,495],"3.4.1":[471],"Basic":[472],"Definitions":[473],"3.4.2":[496],"Classical":[497],"Examples":[500],"56":[514],"3.4.3":[515],"Formal":[516],"Framework":[519],"61":[534],"3.4.4":[535],"Iterative":[536],"Solvers":[537],"for":[538],"General":[539],"Frameworks":[540],"64":[548],"3.5":[549],"Abstract":[550],"67":[573],"3.5.1":[574],"Galois":[575],"Connections":[576],"68":[597],"3.5.2":[598],"Point":[600],"Appr...":[601]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":2}],"updated_date":"2026-10-27T15:51:10.671819","created_date":"2016-06-24T00:00:00"}