Runtime Vеrification

@rv_inc

Cutting edge formal verification tools and services for aerospace, automotive, and the blockchain.

Urbana, IL
runtimeverification.com
Vrijeme pridruživanja: listopad 2017.
83 fotografije ili videozapisa Fotografije i videozapisi

Tweetovi

Blokirali ste korisnika/cu @rv_inc

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

  1. Prikvačeni tweet
    28. sij

    We've been immensely proud to work with and many others over the last two years. Need help? Start here:

    1 reply 4 proslijeđena tweeta 23 korisnika označavaju da im se sviđa
    Poništi
  2. proslijedio/la je Tweet
    prije 13 sati

    The ETA is made up of and Sooho creators of . Together we are creating specification, defining standards and building a platform to bring trust to Ethereum transactions.

    5 proslijeđenih tweetova 6 korisnika označava da im se sviđa
    Poništi
  3. 30. sij

    Thank you for the kind mention.

    * Eth2 deposit contract formal verified * fixed/float swaps * finds bug * Securify v2 * release * 2020 roadmap + ETH collateral * message scalability * 100m Dai
    Poništi
  4. 27. sij

    Hello developers of ! We have a quick question for you. 🤔 What type of coverage do you care about? 🤔 (Yes, this is biased toward developers) If you don't care about coverage, please let us know why in the replies. Thank you! 🙏

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

    In just a few months says they've brought KEVM performance from ~10x slower than the C++ implementation to only 2-3x slower. Amazing work. You can watch the full video and learn how this related to Cardano at

    1 reply 7 proslijeđenih tweetova 75 korisnika označava da im se sviđa
    Poništi
  6. 21. sij

    And the video recording:

    1 reply 2 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  7. 21. sij

    More details on the Formal Verification of 2.0 Deposit Smart Contract: The final report is available here:

    7 replies 58 proslijeđenih tweetova 160 korisnika označava da im se sviđa
    Poništi
  8. 14. sij

    The Winter Newsletter is out . Subscribe here or browse the archive . Happy reading!

    1 proslijeđeni tweet 1 korisnik označava da mu se sviđa
    Poništi
  9. 14. sij

    Next Monday, our founder will open the CPP track at POPL 2020 New Orleans with the invited talk "Matching Logic: The Foundation of the K Framework".

    1 reply 1 proslijeđeni tweet 4 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  10. 8. sij

    Verifying Wasm Functions: Part 2 | $i64.reverse_bytes is published! It explores how to verify a fragment of the contract, a implementation of the .

    1 proslijeđeni tweet 5 korisnika označava da im se sviđa
    Poništi
  11. 7. sij

    The second write-up on our collaboration with using , a tool designed to formally verify Web Assembly () programs.

    1 reply 7 proslijeđenih tweetova 19 korisnika označava da im se sviđa
    Poništi
  12. 1. sij

    Happy New Year, friends! Have a rewarding 2020!

    5 korisnika označava da im se sviđa
    Poništi
  13. 19. pro 2019.

    A hearty congratulations to the whole team. Make sure to enjoy your success this holiday season!

    The Gnosis Safe Multisig is live. Set yours up in less than 60 seconds here: . Learn more about this successor to the original Gnosis multi-signature wallet and why you should move your funds: .
    Poništi
  14. 19. pro 2019.

    A little update from our friends about our modeling and verification engagement. Enjoy.

    3 korisnika označavaju da im se sviđa
    Poništi
  15. 16. pro 2019.

    I guess it’s a good thing we’re developing the capability to verify programs written in WASM.

    Awww yiss
    6 korisnika označava da im se sviđa
    Poništi
  16. 12. pro 2019.

    “Why use K as opposed to Coq?” Three blog posts using a working example to highlight important ways in which K and Coq differ as formal verification frameworks for languages: Part 1 , Part 2 , Part 3 .

    1 reply 7 proslijeđenih tweetova 23 korisnika označavaju da im se sviđa
    Poništi
  17. 26. stu 2019.

    You can always tap on the shoulder for a formal verification opinion piece. We even speak Swedish. Just ask . 😀 Great quote from , btw.

    1 reply 1 korisnik označava da mu se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  18. 18. stu 2019.

    What is your favorite blockchain platform?

    20 replies 32 proslijeđena tweeta 49 korisnika označava da im se sviđa
    Poništi
  19. 15. stu 2019.

    A slice of Runtime Verification history, from and , in the new Springer article "Runtime Verification Past Experiences and Future Projections."

    3 korisnika označavaju da im se sviđa
    Poništi
  20. 12. stu 2019.

    KWasm: a new executable semantics for the blockchain, a project made possible through a close + collaboration.

    1 reply 3 proslijeđena tweeta 9 korisnika označava da im se sviđa
    Poništi

@rv_inc 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:

    ·