The software model checker Blast (English)
Applications to software engineering
- New search for: Beyer, Dirk
- New search for: Henzinger, Thomas A.
- New search for: Jhala, Ranjit
- New search for: Majumdar, Rupak
- New search for: Beyer, Dirk
- New search for: Henzinger, Thomas A.
- New search for: Jhala, Ranjit
- New search for: Majumdar, Rupak
In:
International Journal on Software Tools for Technology Transfer
;
9
, 5
;
505-525
;
2007
- Article (Journal) / Electronic Resource
-
Title:The software model checker Blast
-
Subtitle:Applications to software engineering
-
Contributors:Beyer, Dirk ( author ) / Henzinger, Thomas A. ( author ) / Jhala, Ranjit ( author ) / Majumdar, Rupak ( author )
-
Published in:International Journal on Software Tools for Technology Transfer ; 9, 5 ; 505-525
-
Publisher:
- New search for: Springer-Verlag
-
Place of publication:Berlin/Heidelberg
-
Publication date:2007-09-13
-
Size:21 pages
-
ISSN:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents – Volume 9, Issue 5
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 415
-
Introduction to the special section on fundamental approaches to software engineeringWermelinger, Michel / Margaria, Tiziana / Cerioli, Maura et al. | 2007
- 417
-
A correlation framework for the CORBA component modelJung, Georg / Hatcliff, John et al. | 2007
- 429
-
A framework for counterexample generation and explorationChechik, Marsha / Gurfinkel, Arie et al. | 2007
- 447
-
An operational semantics for StateflowHamon, Grégoire / Rushby, John et al. | 2007
- 457
-
Model based development of access policiesBreu, Ruth / Popp, Gerhard / Alam, Muhammad et al. | 2007
- 471
-
Modeling software product lines using color-blind transition systemsLarsen, Kim G. / Nyman, Ulrik / Wasowski, Andrzej et al. | 2007
- 489
-
Slicing concurrent Java programs using Indus and KaveriRanganath, Venkatesh Prasad / Hatcliff, John et al. | 2007
- 505
-
The software model checker BlastBeyer, Dirk / Henzinger, Thomas A. / Jhala, Ranjit / Majumdar, Rupak et al. | 2007
- 527
-
Tools for secure systems development with UMLJürjens, Jan / Shabalin, Pasha et al. | 2007