Interfacing Ada with verification languages.
David LeesonGlenn H. MacEwenDavid AndrewsPublished in: SETA (1994)
Keyphrases
- model checking
- expressive power
- formal verification
- multi lingual
- language identification
- databases
- data acquisition
- concurrent systems
- language independent
- formal analysis
- syntactic and semantic dependencies
- database
- multilingual information retrieval
- verification method
- linguistic resources
- cross lingual
- knowledge base
- real time