Automated Conversion of ST Control Programs to Why for Verification Purposes.
Jan SadolewskiPublished in: FedCSIS (2011)
Keyphrases
- control program
- control structures
- control system
- symbolic execution
- semi automatic
- data acquisition
- control strategy
- automatic programming
- control structure
- control theory
- control method
- information retrieval
- database
- fully automated
- data driven
- adaptive control
- control problems
- logic programs
- digital libraries
- knowledge base
- search engine
- real world