{"id":"https://openalex.org/W3135241338","doi":"https://doi.org/10.18420/se2021_34","title":"Tool Support for Correctness-by-Construction","display_name":"Tool Support for Correctness-by-Construction","publication_year":2019,"publication_date":"2019-01-01","ids":{"openalex":"https://openalex.org/W3135241338","doi":"https://doi.org/10.18420/se2021_34","mag":"3135241338"},"language":"en","primary_location":{"id":"pmh:oai:library.tue.nl:911083","is_oa":false,"landing_page_url":"http://repository.tue.nl/911083","pdf_url":null,"source":{"id":"https://openalex.org/S4406923046","display_name":"TU/e Research Portal (Eindhoven University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":null},"type":"other","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.18420/se2021_34","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5032157042","display_name":"Tobias Runge","orcid":"https://orcid.org/0000-0002-9154-7743"},"institutions":[{"id":"https://openalex.org/I94509681","display_name":"Technische Universit\u00e4t Braunschweig","ror":"https://ror.org/010nsgg66","country_code":"DE","type":"education","lineage":["https://openalex.org/I94509681"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Runge, Tobias","raw_affiliation_strings":["[TU, Braunschweig]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"[TU, Braunschweig]","institution_ids":["https://openalex.org/I94509681"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065261670","display_name":"Ina Schaefer","orcid":"https://orcid.org/0000-0002-7153-761X"},"institutions":[{"id":"https://openalex.org/I94509681","display_name":"Technische Universit\u00e4t Braunschweig","ror":"https://ror.org/010nsgg66","country_code":"DE","type":"education","lineage":["https://openalex.org/I94509681"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Schaefer, Ina","raw_affiliation_strings":["[TU, Braunschweig]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"[TU, Braunschweig]","institution_ids":["https://openalex.org/I94509681"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043799147","display_name":"Loek Cleophas","orcid":"https://orcid.org/0000-0002-7221-3676"},"institutions":[{"id":"https://openalex.org/I26092322","display_name":"Stellenbosch University","ror":"https://ror.org/05bk57929","country_code":"ZA","type":"education","lineage":["https://openalex.org/I26092322"]},{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL","ZA"],"is_corresponding":false,"raw_author_name":"Cleophas, Loek","raw_affiliation_strings":["TU Eindhoven","Stellenbosch University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Eindhoven","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"Stellenbosch University","institution_ids":["https://openalex.org/I26092322"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022934464","display_name":"Thomas Th\u00fcm","orcid":"https://orcid.org/0000-0001-8069-9584"},"institutions":[{"id":"https://openalex.org/I94509681","display_name":"Technische Universit\u00e4t Braunschweig","ror":"https://ror.org/010nsgg66","country_code":"DE","type":"education","lineage":["https://openalex.org/I94509681"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Th\u00fcm, Thomas","raw_affiliation_strings":["[TU, Braunschweig]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"[TU, Braunschweig]","institution_ids":["https://openalex.org/I94509681"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5106185216","display_name":"Derrick G. Kourie","orcid":null},"institutions":[{"id":"https://openalex.org/I26092322","display_name":"Stellenbosch University","ror":"https://ror.org/05bk57929","country_code":"ZA","type":"education","lineage":["https://openalex.org/I26092322"]},{"id":"https://openalex.org/I4210110526","display_name":"Canadian Society of Intestinal Research","ror":"https://ror.org/01nw4gp55","country_code":"CA","type":"nonprofit","lineage":["https://openalex.org/I4210110526"]}],"countries":["CA","ZA"],"is_corresponding":false,"raw_author_name":"Kourie, Derrick","raw_affiliation_strings":["Stellenbosch University","CSIR"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Stellenbosch University","institution_ids":["https://openalex.org/I26092322"]},{"raw_affiliation_string":"CSIR","institution_ids":["https://openalex.org/I4210110526"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5027422026","display_name":"Bruce W. Watson","orcid":"https://orcid.org/0000-0003-0511-1837"},"institutions":[{"id":"https://openalex.org/I26092322","display_name":"Stellenbosch University","ror":"https://ror.org/05bk57929","country_code":"ZA","type":"education","lineage":["https://openalex.org/I26092322"]},{"id":"https://openalex.org/I4210110526","display_name":"Canadian Society of Intestinal Research","ror":"https://ror.org/01nw4gp55","country_code":"CA","type":"nonprofit","lineage":["https://openalex.org/I4210110526"]}],"countries":["CA","ZA"],"is_corresponding":false,"raw_author_name":"Watson, Bruce W.","raw_affiliation_strings":["Stellenbosch University","CSIR"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Stellenbosch University","institution_ids":["https://openalex.org/I26092322"]},{"raw_affiliation_string":"CSIR","institution_ids":["https://openalex.org/I4210110526"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9972000122070312,"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.9972000122070312,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9939000010490417,"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"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9933000206947327,"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/correctness","display_name":"Correctness","score":0.8974852561950684},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.781586766242981},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7336441874504089},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5343930125236511},{"id":"https://openalex.org/keywords/automated-theorem-proving","display_name":"Automated theorem proving","score":0.4893423914909363},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.4633595943450928},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.4598565697669983},{"id":"https://openalex.org/keywords/sequence","display_name":"Sequence (biology)","score":0.44421133399009705}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8974852561950684},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.781586766242981},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7336441874504089},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5343930125236511},{"id":"https://openalex.org/C206880738","wikidata":"https://www.wikidata.org/wiki/Q431667","display_name":"Automated theorem proving","level":2,"score":0.4893423914909363},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4633595943450928},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.4598565697669983},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.44421133399009705},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"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":2,"locations":[{"id":"pmh:oai:library.tue.nl:911083","is_oa":false,"landing_page_url":"http://repository.tue.nl/911083","pdf_url":null,"source":{"id":"https://openalex.org/S4406923046","display_name":"TU/e Research Portal (Eindhoven University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":null},{"id":"doi:10.18420/se2021_34","is_oa":true,"landing_page_url":"https://doi.org/10.18420/se2021_34","pdf_url":null,"source":{"id":"https://openalex.org/S7407052918","display_name":"Gesellschaft f\u00fcr Informatik (GI)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"doi:10.18420/se2021_34","is_oa":true,"landing_page_url":"https://doi.org/10.18420/se2021_34","pdf_url":null,"source":{"id":"https://openalex.org/S7407052918","display_name":"Gesellschaft f\u00fcr Informatik (GI)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"},"sustainable_development_goals":[{"score":0.4099999964237213,"display_name":"Partnerships for the goals","id":"https://metadata.un.org/sdg/17"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2933445160","https://openalex.org/W3048619172","https://openalex.org/W2732010183","https://openalex.org/W194105511","https://openalex.org/W2119035586","https://openalex.org/W2362247823","https://openalex.org/W77787535","https://openalex.org/W1533242985","https://openalex.org/W2585985455","https://openalex.org/W2132852010","https://openalex.org/W2612814356","https://openalex.org/W2338276337","https://openalex.org/W2138224468","https://openalex.org/W3092729964","https://openalex.org/W3108201208","https://openalex.org/W2890701199","https://openalex.org/W3119757231","https://openalex.org/W1500472552","https://openalex.org/W2750481562","https://openalex.org/W3099686106"],"abstract_inverted_index":{"This":[0],"work":[1],"was":[2,29,83,178],"published":[3],"in":[4,149,191],"International":[5],"Conference":[6],"on":[7],"Fundamental":[8],"Approaches":[9],"to":[10,37,54,75,84,96,131,135,143,147,164,184,193],"Software":[11],"Engineering":[12],"2019.":[13],"We":[14],"tackled":[15],"a":[16,38,58,86,121,133,136,194],"fundamental":[17],"problem":[18],"of":[19,23,60,70,115,161],"missing":[20],"tool":[21,119,177],"support":[22],"the":[24,68,71,97,112,116,154,158,162],"correctness-by-construction":[25],"(CbC)":[26,49],"methodology":[27],"that":[28,66,92,127,145],"proposed":[30],"by":[31,44],"Dijsktra":[32],"and":[33,35,40,46,78,88,100,124,182],"Hall":[34],"revised":[36],"light-weight":[39],"more":[41],"amenable":[42],"version":[43],"Kourie":[45],"Watson.":[47],"Correctness-by-construction":[48],"is":[50],"an":[51],"incremental":[52],"approach":[53,99,197],"create":[55],"programs":[56],"using":[57,171],"set":[59],"small,":[61],"easily":[62,109],"applicable":[63],"refinement":[64,113,159],"rules":[65],"guarantee":[67],"correctness":[69],"program":[72,163],"with":[73],"regard":[74],"its":[76,103],"pre-":[77],"postcondition":[79],"specifications.":[80],"Our":[81],"goal":[82],"implement":[85],"functional":[87],"user-friendly":[89],"IDE,":[90],"so":[91],"developers":[93],"will":[94],"adapt":[95],"CbC":[98],"benefit":[101],"from":[102],"advantages":[104],"(e.g.,":[105],"defects":[106],"can":[107,129],"be":[108],"tracked":[110],"through":[111],"structure":[114,160],"program).":[117],"The":[118,139,176],"has":[120],"hybrid":[122],"textual":[123,140],"graphical":[125,155],"IDE":[126],"programmers":[128,144],"use":[130],"refine":[132],"specification":[134],"correct":[137,186],"implementation.":[138],"editor":[141,156],"fits":[142],"want":[146],"stay":[148],"their":[150],"familiar":[151],"environment,":[152],"while":[153],"highlights":[157],"give":[165],"visual":[166],"feedback":[167],"if":[168],"errors":[169],"occur":[170],"KeY":[172],"as":[173],"verification":[174,196],"backend.":[175],"evaluated":[179],"regarding":[180],"feasibility":[181],"effort":[183],"develop":[185],"programs.":[187],"Here,":[188],"slight":[189],"benefits":[190],"comparison":[192],"standard":[195],"were":[198],"discovered.":[199]},"counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2026-07-27T08:26:11.824852","created_date":"2025-10-10T00:00:00"}