A model checking project at Philips research
A new verification project has recently started at Philips Research. It concerns verification of C-like concurrent programs used to specify functionality of hardware-software systems. The problem is to make the verification practical, in the sense that it must be mechanized, and applicable to thousa...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Tagungsbericht |
| Sprache: | eng |
| Schlagworte: |
Mathematics of computing
> Probability and statistics
> Statistical paradigms
> Exploratory data analysis
Software and its engineering
> Software creation and management
> Software verification and validation
Software and its engineering
> Software creation and management
> Software verification and validation
> Formal software verification
Software and its engineering
> Software organization and properties
> Software functional properties
Software and its engineering
> Software organization and properties
> Software functional properties
> Formal methods
|
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Zusammenfassung: | A new verification project has recently started at Philips Research. It concerns verification of C-like concurrent programs used to specify functionality of hardware-software systems. The problem is to make the verification practical, in the sense that it must be mechanized, and applicable to thousands of lines of C-like code. We present the goals of the project and some combination of existing solutions we want to try. |
|---|---|
| ISSN: | 0302-9743 1611-3349 |
| DOI: | 10.5555/380921.380947 |