And General Force-Directed Graph Layout. Univerisity of Passau, Bavaria, Germany. The tool CCVisu is a light-weight tool for force-directed graph layout. The Fruchterman Reingold energy model. Or it displays the layout on the screen. Structure analysis requires a preprocessing tool, called fact-extractor. CCVisu implements two kinds of fact-extr.

A Foo Walks into a Bar. A Foo Walks into a Bar. I described why I chose Amazon AWS elastic Beanstalk for this blog. Way to deploy Docker containers on the autoscaled Amazon Cloud with zero setup. But slower and harder to use. But how do you actually use it? This post contains a speed run.

We are concerned with developing new theories, technologies, and tools for the model-based design and analysis of reactive systems, including software, hardware, embedded, and biological systems.

My current area of work is in the CPAchecker. Professional homepage with teaching information and contact address.

Dirk Beyer, Andreas Stahlbauer, Eva Veitweber, Peter Häring, Thomas Stieglmaier. Software-systems research develops the technology for the development, verification, and maintenance of large, long-living software systems of high quality. The enormous growth of size and reliability of software programs in our society during the last decades is made possible by modern software technology.

Competition on Software Verification held at TACAS 2015 in London, UK. The results of the competition and a lot of detailed information on SV-COMP 2015 are available in the competition report. Competition is a driving force for the invention of new methods, technologies, and tools. This web page describes the competition of software-verification tools, which will take place at TACAS.

Participation is open to everybody who enrolls on the registration table. The registration fee is 60 EUR, to be paid in cash at the event. The workshop takes place at University of Passau, Innstraße 33, room FIM 242.