Publications: Journal Article: Boolean and {Cartesian} Abstraction for Model Checking {C} Programs

Journal Article
@Article
Artikel in Fachzeitschrift

Show entries of:

this year (2024) | last year (2023) | two years ago (2022) | Notes URL

Action:

Options:

Goto entry point

Author, Editor(s)

Author(s):

Podelski, Andreas
Ball, Tom
Rajamani, Sriram K.

dblp
dblp
dblp

Not MPG Author(s):

Ball, Tom
Rajamani, Sriram K.

BibTeX cite key*:

BPR-STTT03

Title

Title*:

Boolean and Cartesian Abstraction for Model Checking C Programs

Journal

Journal Title*:	International Journal on Software Tools for Technology Transfer (STTT)	Journal's URL:	http://sttt.cs.uni-dortmund.de/
Download URL for the article:		Language:	English

Publisher

Publisher's Name:	Springer	Publisher's URL:	http://www.springer.com/
Publisher's Address:	Berlin, Germany	ISSN:	1433-2779

Vol, No, pp, Date

Volume*:	5	Number:	3
Publishing Date:	2003
Pages*:	1-15	Number of VG Pages:	15
Page Start:		Page End:
Sequence Number:		DOI:

Note, Abstract, ©

Note:
(LaTeX) Abstract:
URL for the Abstract:
Categories, Keywords:
HyperLinks / References / URLs:
Copyright Message:
Personal Comments:
Download Access Level:	Public

Correlation

MPG Unit:	Max-Planck-Institut für Informatik

MPG Subunit:	Programming Logics Group
Audience:	popular
Appearance:	MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, VG Wort

BibTeX Entry:

@ARTICLE{BPR-STTT03,
AUTHOR = {Podelski, Andreas and Ball, Tom and Rajamani, Sriram K.},
TITLE = {Boolean and {Cartesian} Abstraction for Model Checking {C} Programs},
JOURNAL = {International Journal on Software Tools for Technology Transfer (STTT)},
PUBLISHER = {Springer},
YEAR = {2003},
NUMBER = {3},
VOLUME = {5},
PAGES = {1--15},
ADDRESS = {Berlin, Germany},
ISBN = {1433-2779},
}

Entry last modified by Viorica Sofronie-Stokkermans, 03/12/2010

Edit History (please click the blue arrow to see the details)

	Editor(s) Andreas Podelski	Created 04/16/2003 11:07:38 AM
Revisions 8. 7. 6. 5. 4.	Editor(s) Viorica Sofronie-Stokkermans Anja Becker Christine Kiesel Christine Kiesel Christine Kiesel	Edit Dates 06/23/2004 01:48:47 PM 21.06.2004 16:30:56 17.06.2004 14:32:04 17.06.2004 14:30:00 05/11/2004 07:22:49 PM

Attachment Section