Abstract
An important step in meeting the Verifying Compiler Grand Challenge is the Verified Software Repository. In the FMICS view, the repository should include proven correct software and tools to help establishing the correctness of the software in question. We propose to set up a collaborative demonstrator, based on the jETI technology, to provide tools to the repository and to orchestrate different tools.
| Original language | English |
|---|---|
| Pages (from-to) | 47-54 |
| Number of pages | 8 |
| Journal | Journal of Integrated Design and Process Science |
| Volume | 10 |
| Issue number | 4 |
| Publication status | Published - 2006 |
| Externally published | Yes |
Keywords
- Formal verification
- Industrial critical systems
- Model checking
- Service-oriented platforms