PLCStudio: Simulation based PLC code verification.
Sang C. ParkChang Mok ParkGi-Nam WangJonggeun KwakSungjoo YeoPublished in: WSC (2008)
Keyphrases
- source code
- model checking
- concurrent systems
- hardware and software
- fuzzy control
- symbolic execution
- static analysis
- asynchronous circuits
- neural network
- software engineering
- face verification
- formal verification
- false acceptance
- real time
- signature verification
- formal analysis
- software design
- face recognition
- case study