LCV: A Verification Tool for Linear Controller Software.
Junkil ParkMiroslav PajicOleg SokolskyInsup LeePublished in: TACAS (1) (2019)
Keyphrases
- software tools
- software application
- analysis tool
- software package
- software platform
- software systems
- graphical user interface
- source code
- software development
- real time
- formal methods
- mysql database
- user interface
- user friendly
- model checking
- program understanding
- control system
- development process
- programming tool
- hardware designs
- software projects
- linear systems
- control law
- closed form
- dynamic model
- signature verification
- computer systems
- control strategy
- control algorithm
- intelligent software