FLUENT Logo

FLUENT Verification Project

(FL)orida-(U)tah (E)merging and (N)ano (T)echnologies Verification Project

An Efficient Framework for the Stochastic Verification of Computation and Communication Systems Using Emerging Technologies

Funded by the National Science Foundation


Introduction

This research aims at advancing probabilistic verification techniques for the rigorous design of dependable systems in synthetic biology and nanotechnology. Major goals of the project include the following. First, scale up stochastic model checking with efficient and accurate state space truncation techniques. Secondly, investigate practical stochastic counterexample generation techniques and utilize them to improve the accuracy of the state reductions. Thirdly, derive automated guidance mechanisms learned from stochastic counterexamples to improve the quality and efficiency of rare-event stochastic simulations. Lastly, integrate our proposed framework within existing state-of-the-art stochastic model checking tools, PRISM and STORM; and evaluate the proposed methodology on a wide range of case studies derived from synthetic biology and nanotechnology applications. The combination of these methods into this new methodology is being explored for the first time. Altogether, this research will improve the accuracy of analysis of infinite state stochastic systems with rare-event properties.

Faculty#back to top

Senior Researchers#back to top

  • Curtis Madsen, Ph.D., Sandia National Labs

Post-Docs#back to top

Students#back to top

  • University of Utah / University of Colorado
    • Jeanet Mante
    • Lukas Buecherl
    • Pedro Fontanarrosa
  • Utah State University
    • Thakur Neupane
    • Trent Wall
    • Riley Roberts
    • Porter Giles
    • Tom Prouty
    • Daren Swasey
    • Brett Jepsen
  • University of South Florida
    • Mohammad Ahmadi
    • Nisa
    • Laureano

Software#back to top

NSF Acknowledgements#back to top

This material is based upon work supported by the National Science Foundation under Grant No. 1856740. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science Foundation.