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!
Description
Summary: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.
ISSN:2574-1934
DOI:10.1109/ICSE-Companion66252.2025.00070