Counting Interface Automata and their Application in Static Analysis of Actor Models.

Ernesto Wandeler Jörn W. Janneck Edward A. Lee Lothar Thiele

Published in: SEFM (2005)

Keyphrases

static analysis
model driven
user interface
regular expressions
databases
case study
probabilistic model
finite automata
dynamic analysis