Using the Dedan Program

  • Wiktor B. DaszczukEmail author
Part of the Studies in Computational Intelligence book series (SCI, volume 817)


The structure of the Dedan program is presented in Fig. 6.1. The central module Model contains the representation of a verified system. This module converts between the server view and the agent view of the system. The Input module allows reading the model from the file in IMDS notation or XML file.
Fig. 6.1

The structure of the Dedan program


  1. Alur, R., & Dill, D. L. (1994). A theory of timed automata. Theoretical Computer Science, 126(2), 183–235. Scholar
  2. Clarke, E. M., Grumberg, O., & Peled, D. (1999). Model checking. Cambridge, MA: MIT Press. ISBN: 978-0-262-03270-4.Google Scholar
  3. Holzmann, G. J. (1995). Tutorial: Proving properties of concurrent systems with SPIN. In 6th International Conference on Concurrency Theory, CONCUR’95, Philadelphia, PA (pp. 453–455), 21–24 August, 1995. Berlin, Heidelberg: Springer.

Copyright information

© Springer Nature Switzerland AG 2020

Authors and Affiliations

  1. 1.Institute of Computer ScienceWarsaw University of TechnologyWarsawPoland

Personalised recommendations