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

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:Proceedings (IEEE/ACM International Conference on Software Engineering Companion. Online) s. 224 - 225
Hlavný autor: Palliyil, Avinash
Médium: Konferenčný príspevok..
Jazyk:English
Vydavateľské údaje: IEEE 27.04.2025
Predmet:
diagramming
domain-specific visualizations
formal methods
Formal specifications
Hardware
Interviews
Software
Software engineering
Visualization
visualizations
ISSN:2574-1934
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí: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