Formally verified software in the real world

https://devfeature-collection.sl.nsw.gov.au/record/TN_cdi_crossref_primary_10_1145_3230627

Full title

Author / Creator

Journal title

Communications of the ACM, 2018-10, Vol.61 (10), p.68-77

Language

English

Contents

Verified software secures the Unmanned Little Bird autonomous helicopter against mid-flight cyber attacks.

Full title

Formally verified software in the real world

Author / Creator

Record Identifier

TN_cdi_crossref_primary_10_1145_3230627

Permalink

https://devfeature-collection.sl.nsw.gov.au/record/TN_cdi_crossref_primary_10_1145_3230627

ISSN

0001-0782

E-ISSN

1557-7317

DOI

10.1145/3230627

How to access this item

Log in as a Library member

Celebrating and sharing stories of Indigenous Australia, and helping to locate and prioritise Indigenous voices in the Library's collections.

Resources and programs for school and university students, teachers, families and lifelong learners.

Showcasing people, places and ideas inspired by the collection and the library community.