Astrée
Astrée may refer to:
French submarine Astrée (Q200)
The Astrée was an Aurore class submarine of the French navy.
Still incomplete, she was captured by the Germans in June 1940. She was renamed UF-3 on 13 May 1941, but never completed during the German occupation of France.
She was recaptured and completed under her original name. The Astrée was taken out of service in 1962, and stricken on 27 November 1965 as the Q404.
Notes and references
Astrée (static analysis)
Astrée is a static analyzer based on abstract interpretation. It analyzes programs written in the C programming language and outputs an exhaustive list of possible runtime errors and assertion violations.
The tool is tailored towards safety-critical embedded code: source programs are assumed not to contain dynamic allocation (malloc); specific analysis techniques are used for common control theory constructs (filters, rate limiters...) and floating-point numbers.
Astrée was developed in Patrick Cousot's group at École Normale Supérieure, a joint group with CNRS, and is marketed by AbsInt GmbH. It is used in the Defense/Aerospace, Industrial Control, Electronic, and Automotive industries. One of the main industrial users is Airbus.
Astrée is a commercial product available from AbsInt Angewandte Informatik.
Bibliography
Podcasts:
-
by Rust Belt Lights
-
by Sami.the.great
-
by Paisley Brain Cells
-
by Kevin Seconds
Yesteryear
by: Rust Belt LightsAimless drives through countless summer nights.
There’s nothing left to do. I’ll never get bored with you.
It’s so cold out tonight, but I don’t mind.
There must be somewhere we can go tonight.
Don’t you remember
those nights just driving through the suburbs,
singing songs we loved?
More now than ever,
I’m feeling like it’s been too long
and so I wrote a song hoping that you would sing along.
Late at night, don’t wanna let the sun rise.
There’s something wrong, this place is dead.
I’m tired of living inside my head. We never could slow down.
Won’t you forget about how much you hate this town tonight?
Don’t you remember? Or has it been too long?
Won’t you remember, just for tonight?
Sadly I know, some things are worse than being alone,
but this empty seat beside me never fails to remind me.
And I know some things are worse than being alone,
but I just wanted to know… won’t you come back home?
Sadly I know, some things are worse than being alone,
but this empty seat beside me never fails to remind me.
And I know some things are worse than being alone,