Runtime Visualization and Verification in JIVE.
Lukasz ZiarekBharat JayaramanDemian LessaSwaminathan JayaramanPublished in: RV (2016)
Keyphrases
- model checking
- visualization tools
- visual representation
- data analysis
- neural network
- asynchronous circuits
- formal verification
- graphical user interface
- interactive visualization
- visualization tool
- principal component analysis
- multiscale
- bayesian networks
- case study
- computer vision
- real world
- real time
- concurrent systems