Modular Verification of a Component-Based Actor Language.

Marjan Sirjani Frank S. de Boer Ali Movaghar-Rahimabadi

Published in: J. Univers. Comput. Sci. (2005)

Keyphrases

language learning
programming language
model checking
artificial intelligence
database systems
language processing
modeling language
conceptual graphs
face verification
object oriented programming
specification language
formal verification
highly flexible
modular architecture