Frama-C

@frama_c

A software analysis platform that checks security, verifies requirements, and guarantees trust in C programs.

frama-c.com
Vrijeme pridruživanja: svibanj 2014.
1 fotografija ili videozapis Fotografije i videozapisi

Tweetovi

Blokirali ste korisnika/cu @frama_c

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @frama_c

  1. proslijedio/la je Tweet
    17. sij

    A new version of my tutorial is available. It mainly follows some changes in Frama-C Calcium but also includes a few minor fixes. Note that the French version is back. EN: FR:

    1 reply 7 proslijeđenih tweetova 14 korisnika označava da im se sviđa
    Poništi
  2. 6. pro 2019.

    Also, a daily mirror of the Frama-C development branch is now available at , powered by . You get access to the latest developments, and your contributions are more easily integrated! You can use it for issues, suggestions and collaborations.

    2 proslijeđena tweeta 3 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  3. 6. pro 2019.

    The new Frama-C 20 (Calcium) is out at , and the opam package is already available! This release includes better support for ghost code in the kernel, automatic loop unrolling for Eva, a cache mechanism for WP, support for rationals in E-ACSL, and more!

    8 proslijeđenih tweetova 11 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  4. 2. lis 2019.

    Frama-C satisfied the SATE VI Ockham Sound Analysis Criteria for static analysis tools, awarded by 's SAMATE group during the SATE VI Workshop! Find out more about the workshop at the Frama-C blog:

    3 proslijeđena tweeta 4 korisnika označavaju da im se sviđa
    Poništi
  5. proslijedio/la je Tweet
    21. kol 2019.

    Interested in the results of ? We will present some of them ! Goal of this half-day tutorial: formally verify some real code from with . More information here : .

    FM Week News 🆕 More information about the ➡️ FRAMA-C-IoT ⬅️ tutorial is now available at 😀 You are welcome to attend
    4 proslijeđena tweeta 4 korisnika označavaju da im se sviđa
    Poništi
  6. 27. lip 2019.

    Frama-C 19 (Potassium) is out! Get the sources from the website (), via Github (), or install it via opam, to benefit from gtk3 compatibility, simpler Eva parametrization, a new auto-search mode for WP, better E-ACSL support and more.

    2 proslijeđena tweeta 3 korisnika označavaju da im se sviđa
    Poništi
  7. 3. lip 2019.

    "Continuous verification is running on Contiki-NG, AstraVer, ACSL-by-Example and VerKer and integrated in Travis-CI."

    Impressive work from Denis Efremov at ISPRAS and Jens Gerlach at on Continuous Verification with .
    3 korisnika označavaju da im se sviđa
    Poništi
  8. proslijedio/la je Tweet
    3. lip 2019.

    Nils Brynedal Ignell shows how to use SPARK to verify the software that makes artificial heart beats.

    2 proslijeđena tweeta 3 korisnika označavaju da im se sviđa
    Poništi
  9. 3. lip 2019.

    "We were able to verify everything in XMHF with Frama-C as an all-in-one toolkit" :-)

    Amit Vasudevan from shows how to use universal object abstraction and to tackle the verification of complex commodity software stack.
    2 korisnika označavaju da im se sviđa
    Poništi
  10. 3. lip 2019.

    "Inherently, most of the C++ data structures are relational."

    A case study on security and safety of autonomous vehicles by and .
    2 korisnika označavaju da im se sviđa
    Poništi
  11. 3. lip 2019.

    "Software doesn't fail like mechanical systems."

    Why is Autonomous Driving so hard ? Florian Schanda from explores how formal methods can help with technical and process challenges.
    2 korisnika označavaju da im se sviđa
    Poništi
  12. proslijedio/la je Tweet
    3. lip 2019.

    Christian Lidström from KTH presents the use of on automotive software at Scania.

    3 proslijeđena tweeta 4 korisnika označavaju da im se sviđa
    Poništi
  13. 3. lip 2019.

    "Teaching formal methods gives more visibility to Computer Science - as a science"

    Christophe Garion from talks about training aerospace engineers for formal methods through Frama-C and SPARK.
    2 korisnika označavaju da im se sviđa
    Poništi
  14. proslijedio/la je Tweet
    3. lip 2019.

    And we’re go! Jean-Christophe Filliatre opens the Day sharing his enthousiasm for algorithms, formal verification and the platform.

    4 proslijeđena tweeta 7 korisnika označava da im se sviđa
    Poništi
  15. proslijedio/la je Tweet
    2. lip 2019.

    Welcome coffee at the Frama-C and SPARK day : it’s a beautiful morning at La Fabrique Événementielle. We’re delighted to have you here!

    3 proslijeđena tweeta 7 korisnika označava da im se sviđa
    Poništi
  16. proslijedio/la je Tweet
    2. svi 2019.

    🔜📣 The Open Source Innovation Spring 2019 is coming back! Save the dates on your agenda: 🗓️ June 3rd: Frama-C & Spark Day 2019 🗓️June 13th: 🗓️June 14th: # 👉More information:

    , , i još njih 5
    8 proslijeđenih tweetova 8 korisnika označava da im se sviđa
    Poništi
  17. proslijedio/la je Tweet
    26. velj 2019.

    Running Frama-C on some of the challenges (part of SATE 6), we were able to find some unexpected issues in the code! And not all of them are detected by sanitizers. Learn more about it on the Frama-C blog:

    7 proslijeđenih tweetova 17 korisnika označava da im se sviđa
    Poništi
  18. proslijedio/la je Tweet
    27. velj 2019.

    Start your day with a new Technikon Podcast with Ana Cidad (University Polytechnica de Valencia), Armand Puccetti and Virgile Prevosto (CEA LIST) explaining role in future :

    3 proslijeđena tweeta
    Poništi
  19. 26. velj 2019.

    Running Frama-C on some of the challenges (part of SATE 6), we were able to find some unexpected issues in the code! And not all of them are detected by sanitizers. Learn more about it on the Frama-C blog:

    7 proslijeđenih tweetova 17 korisnika označava da im se sviđa
    Poništi
  20. 29. sij 2019.

    The kick-off meeting was a great success! We are very excited to integrate Frama-C into this holistic software information framework!

    3 proslijeđena tweeta
    Poništi

@frama_c još nije objavio nijedan Tweet.

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·