Model Checking as Constraint Solving

Podelski, Andreas

Local TagsRelease HistoryDetailsSummary

Model Checking as Constraint Solving

Podelski, A. (2000). Model Checking as Constraint Solving. In J. Palsberg (Ed.), Proceedings of the 7th International Symposium on Static Analysis (SAS-00) (pp. 221-237). Berlin, Germany: Springer.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-343B-1 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-343D-E

Genre: Conference Paper

Files

show Files

Locators

show

Creators

show

hide

Creators:
Podelski, Andreas¹, Author

Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045

Content

show

Details

show

hide

Language(s): eng - English

Dates: Modified: 2010-03-12Date issued: 2000

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: -

Identifiers: eDoc: 519792
Other: Local-ID: C1256104005ECAFC-45237DA015078117C1256A1000528303-P-SAS00

Degree: -

Event

show

hide

Title: Untitled Event

Place of Event: Santa Barbara, California, USA

Start-/End Date: 2000

Legal Case

show

Project information

show

Source 1

show

hide

Title: Proceedings of the 7th International Symposium on Static Analysis (SAS-00)

Source Genre: Proceedings

Creator(s):
Palsberg, Jens, Editor

Affiliations:
-

Publ. Info: Berlin, Germany : Springer

Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 221 - 237 Identifier: ISBN: 3-540-67668-6

Source 2

show

hide

Title: Lecture Notes in Computer Science

Source Genre: Series

Creator(s):

Affiliations:

Publ. Info: -

Pages: - Volume / Issue: 1824 Sequence Number: - Start / End Page: - Identifier: -