Proceedings Article, Paper
@InProceedings
Beitrag in Tagungsband, Workshop


Show entries of:

this year (2019) | last year (2018) | two years ago (2017) | Notes URL

Action:

login to update

Options:








Author, Editor

Author(s):

Charatonik, Witold
Podelski, Andreas

dblp
dblp



Editor(s):

Steffen, Bernhardt

dblp



BibTeX cite key*:

CharatonikPodelski-tacas98

Title, Booktitle

Title*:

Set-Based Analysis of Reactive Infinite-state Systems

Booktitle*:

Tools and Algorithms for the Construction and Analysis of Systems (TACAS-98)

Event, URLs

URL of the conference:

http://www.di.fc.ul.pt/~llf/etaps98/TACAS.html

URL for downloading the paper:


Event Address*:

Lisbon, Portugal

Language:

English

Event Date*
(no longer used):

March 28 - April 4

Organization:


Event Start Date:

22 September 2019

Event End Date:

22 September 2019

Publisher

Name*:

Springer

URL:


Address*:

Berlin, Germany

Type:


Vol, No, Year, pp.

Series:

Lecture Notes in Computer Science

Volume:

1384

Number:


Month:

March

Pages:

358-375

Year*:

1998

VG Wort Pages:


ISBN/ISSN:

3-540-64356-7

Sequence Number:


DOI:




Note, Abstract, ©


(LaTeX) Abstract:

We present an automated abstract verification method for
infinite-state systems specified by logic programs (which are a
uniform and intermediate layer to which diverse formalisms such as
transition systems, pushdown processes and while programs can be
mapped). \linebreak We establish connections between: logic program
semantics and CTL properties, set-based program analysis and
pushdown processes, and also between model checking and constraint
solving, viz.\ theorem proving. \linebreak We show that set-based
analysis can be used to compute supersets of the values of program
variables in the states that satisfy a given CTL property.

Keywords:

Logic Programming, Verification



Download
Access Level:


Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Programming Logics Group

Audience:

experts only

Appearance:

MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, CCL bibliography



BibTeX Entry:

@INPROCEEDINGS{CharatonikPodelski-tacas98,
AUTHOR = {Charatonik, Witold and Podelski, Andreas},
EDITOR = {Steffen, Bernhardt},
TITLE = {Set-Based Analysis of Reactive Infinite-state Systems},
BOOKTITLE = {Tools and Algorithms for the Construction and Analysis of Systems (TACAS-98)},
PUBLISHER = {Springer},
YEAR = {1998},
VOLUME = {1384},
PAGES = {358--375},
SERIES = {Lecture Notes in Computer Science},
ADDRESS = {Lisbon, Portugal},
MONTH = {March},
ISBN = {3-540-64356-7},
}


Entry last modified by Uwe Brahm, 03/12/2010
Show details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
Witold Charatonik
Created
01/13/1999 06:43:03 PM
Revisions
5.
4.
3.
2.
1.
Editor(s)
Uwe Brahm
Uwe Brahm
Uwe Brahm
Uwe Brahm
Uwe Brahm
Edit Dates
01.04.99 10:54:12
01.04.99 09:44:18
29.03.99 19:41:40
01/29/99 12:28:03 AM
20.01.99 17:34:19