Trustworthy Systems | TS | Data61
source link: https://ts.data61.csiro.au/
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.
Welcome to Trustworthy Systems!
We are the Trustworthy Systems group. We use rigorous formal methods to develop trustworthy software systems—systems that come with provable security, safety and reliability guarantees.
We are fundamentally changing how software systems are engineered in the real world. Our techniques provide the highest possible degree of assurance—the certainty of mathematical proof—while being cost-competitive with traditional low- to medium-assurance systems. Our vision statement is:
We have made verified software a reality.
We’re now working on creating a societal shift towards main adoption.
Our research brings together a unique combination of expertise in operating systems, formal methods and programming languages.
Our seL4 microkernel is the most thoroughly verified operating system kernel in the world.
Our work goes beyond research. We build robust software stacks for the software development community, and also engage with other organisations to apply our technology to real problems.
Latest news
Recommend
About Joyk
Aggregate valuable and interesting links.
Joyk means Joy of geeK