go next top of page

1 Help


go next top of page go back

2 Documents from the development process

This documentation has been developed by the student project Syspect and is, unfortunately, only available in German.


go next top of page go back

3 Publications

Johannes Faber, Sven Linker, Ernst-Rdiger Olderog, and Jan-David Quesel. Syspect - modelling, specifying, and verifying real-time systems with rich data. International Journal of Software and Informatics, 5(1-2):117-137, 2011. ISSN 1673-7288.
[ bib | http | Abstract ]

Johannes Faber, Carsten Ihlemann, Swen Jacobs, and Viorica Sofronie-Stokkermans. Automatic verification of parametric specifications with complex topologies. Reports of SFB/TR 14 AVACS 66, SFB/TR 14 AVACS, 2010. ISSN: 1860-9821, http://www.avacs.org.
[ bib | .pdf | Abstract ]

M. Mller, E.-R. Olderog, H. Rasch, and H. Wehrheim. Integrating a formal method into a software engineering process with UML and Java. Formal Apsects of Computing, 20:161-204, 2008.
[ bib | Abstract ]

R. Meyer, J. Faber, J. Hoenicke, and A. Rybalchenko. Model checking duration calculus: A practical approach. Formal Aspects of Computing, 20(4-5):481-505, July 2008. ISSN 0934-5043 (Print) 1433-299X (Online).
[ bib | .pdf | Abstract ]

 top of page go back