VisB: A Lightweight Tool to Visualize Formal Models with SVG Graphics
Michelle Werth, Michaël Leuschel
Topics & Concepts
Scalable Vector GraphicsComputer scienceVisualizationPlug-inGraphicsProgramming languageVector graphicsScalabilityComputer graphics (images)Interactive visualizationHuman–computer interactionSoftware engineeringWorld Wide WebArtificial intelligenceDatabaseModel-Driven Software Engineering TechniquesFormal Methods in VerificationAdvanced Software Engineering Methodologies