Verification Driven Formal Architecture and Microarchitecture Modeling.
Yogesh S. MahajanCarven ChanAli Alphan BayazitSharad MalikWei QinPublished in: MEMOCODE (2007)
Keyphrases
- colored petri nets
- early stage
- data driven
- petri net
- formal methods
- artificial intelligence
- formal model
- neural network
- dynamic aspects
- real time
- management system
- artificial neural networks
- model checking
- access control
- network architecture
- data flow
- formal specification
- model driven
- formal analysis
- architectural design
- image processing
- e learning