Midwest Verification Days

September 28, 2018

The group was well represented at the Midwest Verification Days workshop, held this year (its tenth) at the University of Iowa, September 28-29, 2018.   Hugh Potter gave the talk "Runtime fault detection in programmed molecular systems," reporting joint work with Sam Ellis, Titus Klinge, Jim Lathrop, Jack Lutz, Robyn Lutz, and Andy Miner.   Mikaela Cashman gave the talk "BioSIMP: using software testing techniques for sampling and inference in biological organisms," reporting joint work with Jennie Catlett, Myra Cohen, Nicole Buan, Zahmeeth Sakkaff, Max Pierobon, and Christine Kelley.   Josh Wallin gave the talk "Generating system-agnostic runtime verification benchmarks from MLTL formulas," reporting joint work with Kristin Rozier.

Much of the material on these web pages is based on research supported by National Science Foundation Grants 1143830, 1247051, 1545028, and 1900716. Any opinions, findings, conclusions, or recommendations expressed in this material are those of the authors and do not necessarily reflect the views of the National Science Foundation.