Searching for authors named "Axel Schairer" – sorted by Relevance.
10 documents found, showing 1 through 10.
-
Proof Planning with Methods
- …Proof Planning with Methods Axel Schairer, November 17, 1996 1 Introduction In the following…
- Add To MetaCart
-
Proof Transformations for Reusing Proofs after Changing Subformulae . . .
- … 2002), pp. 31-41, Copenhagen, July 2002. Changing Subformulae of Verication Conditions Axel Schairer…
- Add To MetaCart
-
Towards an Evolutionary Formal Software Development
- …Towards an Evolutionary Formal Software Development Dieter Hutter and Axel Schairer German Research…
- Cited by 30 (7 self) – Add To MetaCart
-
Similarities and Reuse of Proofs in Formal Software Verification
- …? and Axel Schairer 2 1 Universitat des Saarlandes, FB Informatik D-66041 Saarbrucken, Germany melis…
- Cited by 8 (2 self) – Add To MetaCart
-
A Technique for Reusing Proofs in Software Verification
- …A Technique for Reusing Proofs in Software Verification Diplomarbeit von cand. kyb. Axel Schairer…
- Cited by 2 (1 self) – Add To MetaCart
-
System Description: inka 5.0 - A Logic Voyager
- … Mantel 2 , and Axel Schairer 2 1 Saarland University, Fachbereich Informatik, Postfach 15 11 50, D…
- Cited by 22 (11 self) – Add To MetaCart
-
The Development Graph Manager MAYA
- … , and Axel Schairer 1 1 DKFI GmbH, Stuhlsatzenhausweg 3, D 66123 Saarbrucken, fautexier…
- Cited by 9 (3 self) – Add To MetaCart
-
A Pragmatic Approach to Reuse in Tactical Theorem Proving
- … but depends on the goal the tactic is 2 Axel Schairer, Serge Autexier, and Dieter Hutter run on. It is a…
- Cited by 8 (3 self) – Add To MetaCart
-
Using Information Flow Control to Evaluate Access Protection of Location Information in Mobile Communication Networks
- … Communication Networks Heiko Mantel 1 , Axel Schairer 1 , Matthias Kabatnik 2 , Michael Kreutzer 3…
- Cited by 1 (0 self) – Add To MetaCart
-
VSE: Formal Methods Meet Industrial Needs
- …, Axel Schairer, Werner Stephan, Roland Vogt, Andreas Wolpers German Research Center for Artificial…
- Cited by 3 (3 self) – Add To MetaCart
Showing 1 through 10.
