License
When quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-15580
URL: http://drops.dagstuhl.de/opus/volltexte/2008/1558/
Go to the corresponding Portal

Muscholl, Anca ; Ramanujam, Ramaswamy ; Rusinowitch, Michaël ; Schwentick, Thomas ; Vianu, Victor

08171 Summary -- Beyond the Finite: New Challenges in Verification and Semistructured Data

pdf-format:
Document 1.pdf (62 KB)

Abstract

Exploring the interaction of model checking and database static analysis techniques in the development of novel approaches to the verification of software systems handling data.

BibTeX - Entry

@InProceedings{muscholl_et_al:DSP:2008:1558,
  author =	{Anca Muscholl and Ramaswamy Ramanujam and Micha{\"e}l Rusinowitch and Thomas Schwentick and Victor Vianu},
  title =	{08171 Summary -- Beyond the Finite: New Challenges in Verification and Semistructured Data},
  booktitle =	{Beyond the Finite: New Challenges in Verification and Semistructured Data},
  year =	{2008},
  editor =	{Anca Muscholl and Ramaswamy Ramanujam and Micha{\"e}lRusinowitch and Thomas Schwentick and Victor Vianu},
  number =	{08171},
  series =	{Dagstuhl Seminar Proceedings},
  ISSN =	{1862-4405},
  publisher =	{Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2008/1558},
  annote =	{Keywords: Infinite state systems, data values, verification, semistructured data}
}

Keywords: Infinite state systems, data values, verification, semistructured data
Seminar: 08171 - Beyond the Finite: New Challenges in Verification and Semistructured Data
Issue Date: 2008
Date of publication: 23.07.2008

DROPS-Home | Fulltext Search | Imprint Published by LZI