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

Podrobná bibliografie

Vydáno v:	Proceedings (IEEE/ACM International Conference on Software Engineering Companion. Online) s. 224 - 225
Hlavní autor:	Palliyil, Avinash
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 27.04.2025
Témata:	diagramming domain-specific visualizations formal methods Formal specifications Hardware Interviews Software Software engineering Visualization visualizations
ISSN:	2574-1934
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!