Specification Prototyping of Concurrent Ada Programs in DProto.
Ramón D. AcostaPublished in: TRI-Ada (1992)
Keyphrases
- provably correct
- hybrid automata
- concurrent programs
- high level
- formal specification
- control flow
- code generation
- rapid prototyping
- asynchronous circuits
- concurrent programming
- process algebra
- development process
- control program
- formal verification
- high level programming language
- real time
- reactive systems
- formal methods
- bayesian networks
- knowledge base
- e learning
- social networks
- search engine
- data mining