ConstraintFlow: A DSL for Specification and Verification of Neural Network Analyses.
Avaljot SinghYasmin SaritaCharith MendisGagandeep SinghPublished in: CoRR (2024)
Keyphrases
- neural network
- formal verification
- asynchronous circuits
- formal methods
- model checking
- protocol specification
- neural network is trained
- back propagation
- neural network model
- artificial neural networks
- bp neural network
- self organizing maps
- high level
- formal specification
- temporal logic
- prediction model
- signature verification
- fault diagnosis
- feed forward neural networks
- pattern recognition
- comparative analysis
- network model
- fuzzy logic
- fuzzy artmap
- image reconstruction from projections
- colored petri nets
- specification language
- face verification
- fuzzy neural network
- training algorithm
- user defined
- statistical analysis
- data model
- artificial intelligence