@InProceedings{W18,
  key    =       {W18},
  author =	 {Christoph Benzm{\"u}ller and Corrado Giromini and Andreas Nonnengart and
                  J{\"u}rgen Zimmer},
  title =	 {Reasoning Services in the MathWeb-SB for Symbolic Verification of Hybrid
                  Systems},
  booktitle =	 {Proceedings of the Verification Workshop - VERIFY'02 in connection with
                  FLOC 2002},
  year =	 2002,
  pages =        {29--39},
  address =	 {Kopenhagen, Denmark},
  chrisnote =	 {W18},
  abstract =	 {Verification of non-linear hybrid systems is a challenging task. Unlike
                  many other verification methods the deduction-based verification
                  approach we investigate in this paper avoids approximations and operates
                  directly on the original non-linear system specifications. This
                  approach, however, requires the solution of non-trivial mathematical
                  subtasks. We propose to model existing reasoning systems, such as
                  computer algebra systems and constraint solvers, as mathematical
                  services and to provide them in a network of mathematical tools in a way
                  that they can reasonably support subtasks as they may occur in formal
                  methods applications. The motivation is to make it simpler to implement
                  and test verification approaches by out-sourcing complex but precisely
                  identifiable mathematical subtasks for which specialised reasoners do
                  already exists.},
  url =		 {www.ags.uni-sb.de/~chris/papers/W18.pdf},
}