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...

Full description

Saved in:
Bibliographic Details
Published in:Proceedings (IEEE/ACM International Conference on Software Engineering Companion. Online) pp. 224 - 225
Main Author: Palliyil, Avinash
Format: Conference Proceeding
Language:English
Published: IEEE 27.04.2025
Subjects:
diagramming
domain-specific visualizations
formal methods
Formal specifications
Hardware
Interviews
Software
Software engineering
Visualization
visualizations
ISSN:2574-1934
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
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 Electronic Library (IEL)
  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/eLvHCXMwlV1JS0MxEA5aRDypWHHnHURPsUletncuLXqwFFzorWSyQEFa6fb7fZM-qxcPnhJCDpmEzAxf8s1HyC2PYATzjura_dHa-wEFrgMVPJQmVcrFBFlswgwGdjSqhg1ZPXNhYoz581l8wG5-yw8zv0KorFOHqjoaYZHPXWP0hqy1BVRKgaVWzD65a-podp66Lz26uVaoh1Nn-si8EgiiMBQn_iWnkqNJ__Cf6zgi7R9eXjHcRpxjshOnJ-R-iwsUfUxAP4rnrAq9KN4nC6RMNkTLNnnr9167j7SRP6BOWLakwplgvBaRK59sBc6XBqTnLkTNQCZbNwoxTF8pMD6GxECDrJKqZ0iw5SlpTWfTeEYKYBKcDSo4lqR2yToIZcWthhi4V_KctNHK8eemwsX428CLP8YvyQFuJL6qCHNFWsv5Kl6TPb9eThbzm3wuX41FkDM
linkProvider IEEE
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1LSwMxEA5SRT2pWPHtHkRPsZvsbpI9l5YW21KwSm8lkwcUpJU-_P1m0rV68eApIeSQScjM8CXffITcMweSp0ZTEdwfDd4PKDBhKWc2k74stPMQxSbkYKDG43JYkdUjF8Y5Fz-fuSfsxrd8OzdrhMoaIVSFaIRFPndROquia20hlYxjsRW5Tx6qSpqNbvOlRTcXCxVxQq6P3CuOMEqK8sS_BFViPGkf_XMlx6T-w8xLhtuYc0J23OyUPG6RgaSNKeh70o-60MvkbbpE0mRFtayT13Zr1OzQSgCBaq7SFeVaWmkEd6wwXpWgTSYhN0xbJ1LIvQpNgSimKQuQxlmfgoC89EWYkYPKzkhtNp-5c5JAmoNWtrA69bnQXmmwWcmUAGeZKfILUkcrJx-bGheTbwMv_xi_IwedUb836XUHz1fkEDcV31i4vCa11WLtbsie-VxNl4vbeEZfQhKTfA
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