SE-lab

Startseite

Für Studenten

Für Unternehmen

Projekte

Forum

Bewerbung

Kontakt


SE

RWTH Aachen

The Isabelle Platform: A Perspective for Collaborative and Fine-grained Parallel TestCase-Generation

Isabelle is meanwhile a formal methods implementation platform --- so to speak: the Eclipse of FM Tools --- offering fine-grain parallelism, a powerful symbolic computation environment, a theorem prover kernel allowing for logically safe extensions, substantial logical libraries, a component plug-in mechanism, code- and documentation generators and a GUI-Framework both making the internal parallelism accessible and bridging the gap to the JAVA world. Our TestCase-Generation System HOL-TestGen is a PlugIn in this framework. We will outline recent advances for the Isabelle Framework and the consequences for HOL-TestGen and its design.