Chew's Everyday Blog
AboutCategories

Recent Posts

  • May 11, 2024 CourseNote

    Distributed Transactions
    Database

    Deal with the complexity in distributed systems.
  • Apr 19, 2024 CourseNote

    Transaction Management
    Database

    What is under the hood of DB magic
  • Mar 31, 2024 CourseNote

    Note of Alloy Analyzer
    Formal Method

    Light Weighted Formal Methods
  • Feb 15, 2024 Software-Foundations

    Hoare Logic - Decorated Program
    Coq PLT

    Decoration and Automated Verification
  • Feb 2, 2024 Software-Foundations

    Hoare Logic Basic
    Coq PLT

    Assertions, Hoare Triples and Proof Rules.
  • Jan 25, 2024 Software-Foundations

    Program Equivalence
    Coq PLT

    Formalize equivalence relations.
« Prev 1 2 3 4 5 6 Next »

Chew's Everyday Blog

By wisdom a house is built, and through understanding it is established.
  • Author: Chew Y. Feng
  • Mail: chew.y.feng@outlook.com
  • Find me:
    • excitedspider
    • qiuyi-feng-348968287

    subscribe via RSS