Verification oriented approach to concurrent microprogramming with the language C-MIDDLE.
Marek GondzioPublished in: Microprocessing and Microprogramming (1989)
Keyphrases
- programming language
- concurrent programming
- signature verification
- specification language
- language learning
- concurrent programs
- formal verification
- language processing
- genetic algorithm
- asynchronous circuits
- computational linguistics
- face verification
- computer programs
- conceptual graphs
- model checking
- e learning
- representation language
- natural language processing
- multi agent systems
- natural language
- data sets
- functional verification