Recent News
To appear in 6th Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems (CyPhy'16).
Contact
CyFuzz is a research project at the SERC and VeriVITAL laboratory at The University of Texas at Arlington
Code
Our prototype implementation for MathWorks'
Simulink modeling environment independantly reproduced a confirmed bug.
Other Resources
• Download sample randomly generated Simulink models
Acknowledgement
This material is based upon work supported by the National Science Foundation under Grants No. 1117369, 1464311, and 1527398. 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.This material is based upon work supported by the Air Force Office of Scientific Research (AFOSR) contract numbers FA9550-15-1-0258 and FA9550-16-1-0246, and by Air Force Research Lab (AFRL) contract number FA8750-15-1-0105. Any opinions, ndings, and conclusions or recommendations expressed in this publication are those of the authors and do not necessarily reflect the views of AFRL or AFOSR.