Publications Details
Building Automated Proofs of Refinement Between State Machines and C
Presentation of an overview of Q Framework at Sandia at Frama-C Days in Paris, France. Website for event is here: https://cea.invityou.com/frama-c-days
Presentation of an overview of Q Framework at Sandia at Frama-C Days in Paris, France. Website for event is here: https://cea.invityou.com/frama-c-days