Towards dependable development tools for embedded systems: a case study in software verification

DOI10.1080/095281300454856zbMATH Open1057.68632OpenAlexW2064172314MaRDI QIDQ4783364

Uwe Petermann

Publication date: 24 April 2003

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/095281300454856

zbMATH Keywords

interactive provingprogrammable control

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

An architectural approach to the analysis, verification and validation of software intensive embedded systems

This page was built for publication: Towards dependable development tools for embedded systems: a case study in software verification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4783364)