{"id":"https://openalex.org/W6906690802","doi":"https://doi.org/10.18420/inf2023_24","title":"Visualization Support for Contracts in VeriFast","display_name":"Visualization Support for Contracts in VeriFast","publication_year":2023,"publication_date":"2023-01-01","ids":{"openalex":"https://openalex.org/W6906690802","doi":"https://doi.org/10.18420/inf2023_24"},"language":"en","primary_location":{"id":"doi:10.18420/inf2023_24","is_oa":true,"landing_page_url":"https://doi.org/10.18420/inf2023_24","pdf_url":null,"source":{"id":"https://openalex.org/S7407052918","display_name":"Gesellschaft f\u00fcr Informatik (GI)","issn_l":null,"issn":[],"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"},"type":"article","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.18420/inf2023_24","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Hergersberg, Pauline","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hergersberg, Pauline","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Lippold, Judith","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lippold, Judith","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Nahrstedt, Bastian","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Nahrstedt, Bastian","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":null,"display_name":"Baar, Thomas","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Baar, Thomas","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.32325708,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.4794999957084656,"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.4794999957084656,"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/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.09440000355243683,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.05790000036358833,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7008000016212463},{"id":"https://openalex.org/keywords/visualization","display_name":"Visualization","score":0.567300021648407},{"id":"https://openalex.org/keywords/design-by-contract","display_name":"Design by contract","score":0.5267000198364258},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.47510001063346863},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.46219998598098755},{"id":"https://openalex.org/keywords/quality-assurance","display_name":"Quality assurance","score":0.41920000314712524},{"id":"https://openalex.org/keywords/software-architecture","display_name":"Software architecture","score":0.41280001401901245},{"id":"https://openalex.org/keywords/quality","display_name":"Quality (philosophy)","score":0.4016999900341034},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.38609999418258667}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7293999791145325},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7008000016212463},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.6460000276565552},{"id":"https://openalex.org/C36464697","wikidata":"https://www.wikidata.org/wiki/Q451553","display_name":"Visualization","level":2,"score":0.567300021648407},{"id":"https://openalex.org/C80291951","wikidata":"https://www.wikidata.org/wiki/Q1200691","display_name":"Design by contract","level":5,"score":0.5267000198364258},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.47510001063346863},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.46219998598098755},{"id":"https://openalex.org/C106436119","wikidata":"https://www.wikidata.org/wiki/Q836575","display_name":"Quality assurance","level":3,"score":0.41920000314712524},{"id":"https://openalex.org/C35869016","wikidata":"https://www.wikidata.org/wiki/Q846636","display_name":"Software architecture","level":3,"score":0.41280001401901245},{"id":"https://openalex.org/C2779530757","wikidata":"https://www.wikidata.org/wiki/Q1207505","display_name":"Quality (philosophy)","level":2,"score":0.4016999900341034},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.38609999418258667},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.3693999946117401},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.36309999227523804},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.34929999709129333},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.3215000033378601},{"id":"https://openalex.org/C98025372","wikidata":"https://www.wikidata.org/wiki/Q477538","display_name":"Systems architecture","level":3,"score":0.29589998722076416},{"id":"https://openalex.org/C48002344","wikidata":"https://www.wikidata.org/wiki/Q2919644","display_name":"Verification and validation","level":2,"score":0.29280000925064087},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.287200003862381},{"id":"https://openalex.org/C117447612","wikidata":"https://www.wikidata.org/wiki/Q1412670","display_name":"Software quality","level":4,"score":0.2863999903202057},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.27549999952316284},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.26649999618530273},{"id":"https://openalex.org/C172367668","wikidata":"https://www.wikidata.org/wiki/Q6504956","display_name":"Data visualization","level":3,"score":0.26170000433921814},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.2565999925136566},{"id":"https://openalex.org/C4379982","wikidata":"https://www.wikidata.org/wiki/Q1273511","display_name":"Software visualization","level":5,"score":0.25589999556541443},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.25369998812675476},{"id":"https://openalex.org/C2776969324","wikidata":"https://www.wikidata.org/wiki/Q613918","display_name":"Software quality assurance","level":5,"score":0.25040000677108765}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.18420/inf2023_24","is_oa":true,"landing_page_url":"https://doi.org/10.18420/inf2023_24","pdf_url":null,"source":{"id":"https://openalex.org/S7407052918","display_name":"Gesellschaft f\u00fcr Informatik (GI)","issn_l":null,"issn":[],"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/inf2023_24","is_oa":true,"landing_page_url":"https://doi.org/10.18420/inf2023_24","pdf_url":null,"source":{"id":"https://openalex.org/S7407052918","display_name":"Gesellschaft f\u00fcr Informatik (GI)","issn_l":null,"issn":[],"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":[{"id":"https://metadata.un.org/sdg/9","score":0.583868682384491,"display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"A":[0],"widespread":[1],"quality":[2],"assurance":[3],"technique":[4],"for":[5,77,114],"ensuring":[6],"correctness":[7],"of":[8,39,132,148],"software":[9,31],"is":[10,70,84],"testing,":[11],"but":[12],"relevant":[13],"test":[14],"cases":[15],"might":[16],"be":[17],"easily":[18],"overlooked.":[19],"Formal":[20],"methods":[21],"-":[22,27],"an":[23],"alternative":[24],"to":[25,36,48,55,72],"testing":[26],"are":[28],"applied":[29,71],"in":[30,64,80,87],"industry":[32],"only":[33],"rarely,":[34],"due":[35],"the":[37,66,126,129,146],"lack":[38],"both":[40],"widely":[41],"used":[42],"verification":[43],"tools":[44,51],"and":[45,100,128,135],"engineers":[46],"able":[47],"apply":[49],"such":[50],"effectively.":[52],"In":[53,121],"order":[54],"address":[56,106],"these":[57],"problems,":[58],"our":[59,133,142],"university":[60],"offers":[61],"appropriate":[62],"courses,":[63],"which":[65],"open-source":[67],"tool":[68],"VeriFast":[69,83],"formally":[73],"verify":[74],"given":[75],"contracts":[76,99],"functions":[78],"implemented":[79],"C.":[81],"While":[82],"very":[85],"fast":[86],"verifying":[88],"even":[89],"larger":[90],"programs,":[91],"students":[92],"often":[93],"have":[94],"difficulties":[95],"when":[96],"authoring":[97],"function":[98],"other":[101],"proof":[102],"arguments":[103],"formally.":[104],"To":[105],"this":[107,122],"problem,":[108],"we":[109,124],"developed":[110],"a":[111,119,138],"web-based":[112],"system":[113,134,143],"visualizing":[115],"each":[116],"contract":[117],"as":[118],"graph.":[120],"paper,":[123],"describe":[125],"architecture":[127],"main":[130],"features":[131],"show":[136],"on":[137],"running":[139],"example,":[140],"how":[141],"can":[144],"support":[145],"user":[147],"VeriFast.":[149]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}