Automatic Verification of Concurrent Ada Programs.

Eric Bruneton Jean-François Pradat-Peyre

Published in: Ada-Europe (1999)

Keyphrases

concurrent programs
computer programs
automatic programming
concurrent programming
answer sets
mutual exclusion
e learning
metadata
optimal solution
data streams
hierarchical reinforcement learning