Scalable Verification of Linear Controller Software.
Junkil ParkMiroslav PajicInsup LeeOleg SokolskyPublished in: TACAS (2016)
Keyphrases
- software systems
- control system
- software development
- formal methods
- real time
- software components
- software maintenance
- lightweight
- model checking
- software package
- software tools
- verification method
- controller design
- formal verification
- highly scalable
- closed loop
- case study
- software developers
- adaptive control
- face verification
- software architecture
- source code
- web scale
- software engineering
- neural network