Fast dynamic analysis of complex HW/SW-systems based on abstract state machine models.

Giuseppe Del Castillo Wolfram Hardt

Published in: CODES (1998)

Keyphrases

state machine
state machines
dynamic analysis
finite state machines
high level
reverse engineering
hw sw
computer systems
static analysis
distributed systems
pattern matching
fault tolerant
embedded systems
regular expressions
real time
query processing
image processing
neural network