SE@RWTH : Oberseminar

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.

Startseite Für Studenten Für Unternehmen Projekte Forum Bewerbung Kontakt		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.