Improving Formal Methods Visualizations
Formal methods encompass mathematical techniques for specifying, validating and verifying software and hardware systems. While they are powerful, their use of technical and mathematical notations can be difficult to understand, validate, and debug for both experts and non-experts. Visualizations are...
Gespeichert in:
| Veröffentlicht in: | Proceedings (IEEE/ACM International Conference on Software Engineering Companion. Online) S. 224 - 225 |
|---|---|
| 1. Verfasser: | |
| Format: | Tagungsbericht |
| Sprache: | Englisch |
| Veröffentlicht: |
IEEE
27.04.2025
|
| Schlagworte: | |
| ISSN: | 2574-1934 |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Abstract | Formal methods encompass mathematical techniques for specifying, validating and verifying software and hardware systems. While they are powerful, their use of technical and mathematical notations can be difficult to understand, validate, and debug for both experts and non-experts. Visualizations are an approach to simplifying this process. In this work, we present some early results from an interview study to understand how users of formal methods use visualizations in their workflow, and apply these findings to Penlloy, a domain-specific visualizer for formal methods. |
|---|---|
| AbstractList | Formal methods encompass mathematical techniques for specifying, validating and verifying software and hardware systems. While they are powerful, their use of technical and mathematical notations can be difficult to understand, validate, and debug for both experts and non-experts. Visualizations are an approach to simplifying this process. In this work, we present some early results from an interview study to understand how users of formal methods use visualizations in their workflow, and apply these findings to Penlloy, a domain-specific visualizer for formal methods. |
| Author | Palliyil, Avinash |
| Author_xml | – sequence: 1 givenname: Avinash surname: Palliyil fullname: Palliyil, Avinash email: apalliyil6@gatech.edu organization: Georgia Institute of Technology,Atlanta,USA |
| BookMark | eNotj8tKxDAYRqMoOI59Axdd6apjkj_XpZQZLYy48LIdkjTVSNuUpgr69AZ0dTaH7-Oco5Mxjh6hK4I3hGB909RP26qOw2TGEEchKKcbiinfYIwlPkKFlloBEA5CATlGK8olq4gGdoaKlD6yBhQD03KFrpthmuNXGN_KXZwH05cPfnmPbSpfQ_o0ffgxSz5JF-i0M33yxT_X6GW3fa7vq_3jXVPf7itDFV4qamQrnaCecNcpbY0DaZkjpvUCW9apDA4eiNPcSufbDlthme54NphVsEaXf7vBe3-Y5jCY-fuQsyljueAXQ75Iwg |
| CODEN | IEEPAD |
| ContentType | Conference Proceeding |
| DBID | 6IE 6IL CBEJK RIE RIL |
| DOI | 10.1109/ICSE-Companion66252.2025.00070 |
| DatabaseName | IEEE Electronic Library (IEL) Conference Proceedings IEEE Proceedings Order Plan All Online (POP All Online) 1998-present by volume IEEE Xplore All Conference Proceedings IEEE Electronic Library (IEL) IEEE Proceedings Order Plans (POP All) 1998-Present |
| DatabaseTitleList | |
| Database_xml | – sequence: 1 dbid: RIE name: IEEE Xplore Digital Library (LUT) url: https://ieeexplore.ieee.org/ sourceTypes: Publisher |
| DeliveryMethod | fulltext_linktorsrc |
| EISBN | 9798331536831 |
| EISSN | 2574-1934 |
| EndPage | 225 |
| ExternalDocumentID | 11024419 |
| Genre | orig-research |
| GroupedDBID | 6IE 6IF 6IL 6IN AAJGR AAWTH ABLEC ADZIZ ALMA_UNASSIGNED_HOLDINGS BEFXN BFFAM BGNUA BKEBE BPEOZ CBEJK CHZPO IEGSK OCL RIE RIL |
| ID | FETCH-LOGICAL-a280t-2a7d7c62e15cf89bac37b4c1ade60b4f8e6053e31c95b7cedf0b6b49f5ade4b83 |
| IEDL.DBID | RIE |
| ISICitedReferencesCount | 0 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=001554070400058&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| IngestDate | Wed Jun 25 06:01:05 EDT 2025 |
| IsPeerReviewed | false |
| IsScholarly | true |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-a280t-2a7d7c62e15cf89bac37b4c1ade60b4f8e6053e31c95b7cedf0b6b49f5ade4b83 |
| PageCount | 2 |
| ParticipantIDs | ieee_primary_11024419 |
| PublicationCentury | 2000 |
| PublicationDate | 2025-April-27 |
| PublicationDateYYYYMMDD | 2025-04-27 |
| PublicationDate_xml | – month: 04 year: 2025 text: 2025-April-27 day: 27 |
| PublicationDecade | 2020 |
| PublicationTitle | Proceedings (IEEE/ACM International Conference on Software Engineering Companion. Online) |
| PublicationTitleAbbrev | ICSE-COMPANION |
| PublicationYear | 2025 |
| Publisher | IEEE |
| Publisher_xml | – name: IEEE |
| SSID | ssj0003203497 |
| Score | 2.2900264 |
| Snippet | Formal methods encompass mathematical techniques for specifying, validating and verifying software and hardware systems. While they are powerful, their use of... |
| SourceID | ieee |
| SourceType | Publisher |
| StartPage | 224 |
| SubjectTerms | diagramming domain-specific visualizations formal methods Formal specifications Hardware Interviews Software Software engineering Visualization visualizations |
| Title | Improving Formal Methods Visualizations |
| URI | https://ieeexplore.ieee.org/document/11024419 |
| WOSCitedRecordID | wos001554070400058&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3LSgMxFL1oEXGl4ojWB7MQXcVOM3nNurQoaCmopbuSJxSklXbq95ubjtWNC1cJIYs8SG5yknMOwA1zvuAKZyBufwQvEKSiWhETmOLOlEIlMGf8JIdDNZlUo4asnrgw3vv0-czfYza95buFXSNU1omhKkYjFPnclVJsyFpbQKWkKLUi9-G20dHsPPZe-mSzrNAPJ570kXlFEUQp0Jz4l51KiiaDw3-24wiyH15ePtpGnGPY8fMTuNviAvkAD6Dv-XNyhV7l49kKKZMN0TKDt0H_tfdAGvsDouPA1YRq6aQV1He5Daoy2pbSMNvVzovCsKBiwhHDtBU30noXCiMMqwKPNZhR5Sm05ou5P4M8XuNUrEWFEZqVQWkeULhdceM1dWU4hwx7Of3YKFxMvzvY_qP8Ag5wIPFVhcpLaNXLtb-CPftZz1bL6zQvX0WnjlY |
| linkProvider | IEEE |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1NTwIxEJ0YNOpJjRi_3YPRU2XpttvumUAgAiERCTfSz4TEAOHD32-nrOjFg6dtNj20nexO57XvPYBHZl3KJUYg_P4IFhCkoEoS7ZnkVme5jGDOqCv6fTkeF4OSrB65MM65ePnMvWAznuXbudkgVFYLqSpkIxT53OcsFD5butYOUskoiq2IQ3gqlTRrncZbk2w_LHTECXt95F5RhFFStCf-ZagS80nr5J8jOYXqDzMvGexyzhnsudk5PO-QgaSFW9CPpBd9oVfJaLpC0mRJtazCe6s5bLRJaYBAVFi6NaFKWGFy6urceFloZTKhmakr6_JUMy_DgyOKaQquhXHWpzrXrPA89GBaZhdQmc1n7hKSUMjJ0IvmOlcs81Jxj9LtkmunqM38FVRxlpPFVuNi8j3B6z_eP8BRe9jrTrqd_usNHOOi4hkLFbdQWS837g4OzOd6ulrexxh9Ad66kZ0 |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=Proceedings+%28IEEE%2FACM+International+Conference+on+Software+Engineering+Companion.+Online%29&rft.atitle=Improving+Formal+Methods+Visualizations&rft.au=Palliyil%2C+Avinash&rft.date=2025-04-27&rft.pub=IEEE&rft.eissn=2574-1934&rft.spage=224&rft.epage=225&rft_id=info:doi/10.1109%2FICSE-Companion66252.2025.00070&rft.externalDocID=11024419 |