Expectations of Formal Model Analysis Methods: Implications for SIG-MA

At the 2008 System Dynamics Conference in Athens a survey of the understanding and expectations of conference participants regarding model analysis was conducted. Respondents included both those active in research on formal model analysis methods and those only vaguely familiar with the term. Results from the survey are presented and discussed...