MISRA Discussion Forums › MISRA C › General Questions v
Formal verification of MISRA-C programs

Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Formal verification of MISRA-C programs
dcrocker Offline
Junior Member
**
Posts: 7
Threads: 5
Joined: Oct 2005
Reputation: 0
#2
31-01-2011, 09:58 AM
Please note that my blog on formal verification of MISRA-C and similar code has moved to http://critical.eschertech.com. The old address (blog.eschertech.com) will be withdrawn a couple of months from now.

Regards - David
<r>David Crocker<br/>
Escher Technologies Ltd.<br/>
<URL url="http://www.eschertech.com">http://www.eschertech.com</URL></r>
Find
Reply


Messages In This Thread

Forum Jump:


Users browsing this thread: 2 Guest(s)