title: Topology verification for isosurface extraction.
abstract: The broad goals of verifiable visualization rely on correct algorithmic implementations. We extend a framework for verification of isosurfacing implementations to check topological properties. Specifically, we use stratified Morse theory and digital topology to design algorithms which verify topological invariants. Our extended framework reveals unexpected behavior and coding mistakes in popular publicly available isosurface codes.
authors.affiliation: University of Utah, 72 Central Campus Drive, Warnock Engineering Building, Salt Lake City, UT 84112-9200, USA. tetiene@cs.utah.edu
authors.forename: Tiago
authors.initials: T
authors.lastname: Etiene
authors.forename: L Gustavo
authors.initials: LG
authors.lastname: Nonato
authors.forename: Carlos
authors.initials: C
authors.lastname: Scheidegger
authors.forename: Julien
authors.initials: J
authors.lastname: Tierny
authors.forename: Thomas J
authors.initials: TJ
authors.lastname: Peters
authors.forename: Valerio
authors.initials: V
authors.lastname: Pascucci
authors.forename: Robert M
authors.initials: RM
authors.lastname: Kirby
authors.forename: Cláudio T
authors.initials: CT
authors.lastname: Silva