Verification of Linear Hybrid Systems with Large Discrete State Spaces Using 
Counterexample-guided Abstraction Refinement

Althaus, Ernst; Beber, Björn; Damm, Werner; Disch, Stefan; Hagemann, Willem; Rakow, Astrid; Scholl, Christoph; Waldmann, Uwe; Wirtz, Boris

doi:10.1016/j.scico.2017.04.010

Local TagsRelease HistoryDetailsSummary

Verification of Linear Hybrid Systems with Large Discrete State Spaces Using Counterexample-guided Abstraction Refinement

Althaus, E., Beber, B., Damm, W., Disch, S., Hagemann, W., Rakow, A., et al. (2017). Verification of Linear Hybrid Systems with Large Discrete State Spaces Using Counterexample-guided Abstraction Refinement. Science of Computer Programming, 148, 123-160. doi:10.1016/j.scico.2017.04.010.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-002E-1C23-5 Version Permalink: https://hdl.handle.net/21.11116/0000-000E-342A-9

Genre: Journal Article

Files

show Files

Locators

show

Creators

show

hide

Creators:
Althaus, Ernst¹, Author
Beber, Björn¹, Author
Damm, Werner², Author
Disch, Stefan², Author
Hagemann, Willem³, Author
Rakow, Astrid², Author
Scholl, Christoph², Author
Waldmann, Uwe³, Author
Wirtz, Boris², Author

Affiliations:
1Algorithms and Complexity, MPI for Informatics, Max Planck Society, ou_24019
2External Organizations, ou_persistent22
3Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545

Content

show

Details

show

hide

Language(s): eng - English

Dates: Published Online: 2017-05-10Date issued: 2017

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: -

Identifiers: BibTex Citekey: Althaus2017
DOI: 10.1016/j.scico.2017.04.010

Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show

hide

Title: Science of Computer Programming

Source Genre: Journal

Creator(s):

Affiliations:

Publ. Info: Amsterdam : Elsevier

Pages: - Volume / Issue: 148 Sequence Number: - Start / End Page: 123 - 160 Identifier: ISSN: 0167-6423
CoNE: https://pure.mpg.de/cone/journals/resource/954925483663