Towards the Formal Verification of Lower System Layers in Automotive Systems
The mission of the Verisoft project is (i) to develop techniques, which permit the pervasive formal verification of computer systems comprising hardware, system software, communication systems, and applications, (ii) to apply these techniques in an industrial context to verify prototypical systems....
| Main Authors: | , , , , , , , |
|---|---|
| Format: | Conference item |
| Published: |
IEEE
2005
|