Program Verification for Exception Handling on Active Objects Using Futures.

Crystal Chang Din Rudolf Schlatte Tzu-Chun Chen

Published in: SEFM (2018)

Keyphrases

exception handling
conflict resolution
object oriented
development tools
information technology
information systems
cooperative
domain independent
agent systems
database
reinforcement learning
object oriented programming