Language-Based Abstraction Refinement for Hybrid System Verification.
Felix KlaedtkeStefan RatschanZhikun ShePublished in: VMCAI (2007)
Keyphrases
- language learning
- model checking
- natural language
- hardware designs
- asynchronous circuits
- data abstraction
- english language
- programming language
- high level
- expert systems
- language processing
- face verification
- object oriented programming
- case study
- search engine
- artificial intelligence
- concurrent systems
- bounded model checking
- data sets