Formal Checking of Properties in Complex Systems Using Abstractions.

Dinos Moundanos Jacob A. Abraham

Published in: Great Lakes Symposium on VLSI (1999)

Keyphrases

complex systems
dynamic systems
discrete event systems
biological systems
physical systems
mathematical models
steady state simulation
manufacturing systems
high level
formal language
multi agent systems
computational systems
technical systems
social networks
evolutionary algorithm
case study
scale free networks