Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Audebaud, P., Paulin-Mohring, C.: Proofs of randomized algorithms in Coq. Science of Computer Programming (2008)
2. Ayache, S., Conquet, E., Humbert, P., Rodriguez, C., Sifakis, J., Gerlich, R.: Formal methods for the validation of fault tolerance in autonomous spacecraft. In: International Symposium on Fault-Tolerant Computing, FTCS 1996 (1996)
3. Blech, J.O.: Proving the Security of ElGamal Encryption Via Indistinguishability Logic. In: ACM Symposium On Applied Computing (2011)
4. Blech, J.O., Hattendorf, A., Huang, J.: An Invariant Preserving Transformation for PLC Models. In: IEEE International Workshop on Model-Based Engineering for Real-Time Embedded Systems Design (2011)
5. Blech, J.O., Périn, M.: Generating Invariant-based Certificates for Embedded Systems. ACM Transactions on Embedded Computing Systems (TECS) (to appear)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献