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

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!