Date Range
Date Range
Date Range
Friday, September 17, 2010. Oracle Outage at JPMorgan and Formal Proof of DB Validity. An interesting post over at DBMS2 about the JPMorgan Oracle DB Outage. In normal programming tasks, formal verification is too restrictive and unwieldy for regular use. However for infrequently changed but extremely critical software, formal verification is becoming more than just a toy. An entire microkernel, seL4 of the L4. Family, has recently been formally proven corre.
Cloud Deco a friendly development agency based in Shropshire. Specialising in e-commerce, website design, ASP. NET development, training and managed hosting.