Formal Verification Research at Utah State University

phenylpropanoids-model

Model of phenylpropanoid derivatives used in Zixun Zhan's lab

formal-verification-research.github.io

VERAPAK

Modest-Probabilistic-Models-for-NoC

plank

translation of plank code into python for use in retina modeling research

cex_permute

ivy

[This version of IVy is designed to give the user a bit more control] IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniques. In particular, IVy provides interactive visualization of automated proofs, and supports a use model in which the human protocol designer and the automated tool interact to expose errors and prove correctness.

IVy-Models

Modeling with IVy (NoC Protocol)

AutomatedProbabilisticChoiceAbstraction

Code for automating the probabilistic choice abstraction

vnncomp2021-verapak-scripts

graphwrangler

ARFramework

tensorflow

An Open Source Machine Learning Framework for Everyone

Booksim_PSN_Bursty

model-measuring

NJSMA

modified JSMA

retinaModeling

cache-coherency-model

ParallelFGSM

DLV_intellifeatures

fault_tolerant_noc_routing_pred_abs

LNT model of a fault tolerant NoC routing with predicate abstraction.