Verification, model checking, and abstract interpretation third international workshop, VMCAI 2002, Venice, Italy, January 21 - 22, 2002 ; revised papers
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | |
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London
Springer
2002
|
| Schriftenreihe: | Lecture notes in computer science
2294 |
| Schlagworte: |
Logiciels - Vérification - Congrès
> analyse programme
> interprétation abstraite
> logique temporelle
> méthode formelle
> optimisation programme
> spécification programme
> système concurrent
> système réactif
> sémantique programme
> vérification modèle
> vérification programme
> Computer programs
> Verification
> Abstrakte Interpretation
> Programmanalyse
> Programmverifikation
> Model Checking
> Konferenzschrift
|
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Beschreibung: | VIII, 330 S. |
|---|---|
| ISBN: | 3540436316 3-540-43631-6 |