Contents What is Refinement? Extension Example: add ownership to secure database Original Example Adding Object Ownership in the Original Example What is ...
Chang Wan
Cancel
Extension Refinement in Event-B
Hoare Logic
Contents Foreword Logic Completely Convincing Arguments: Logical Fallacy Completely Convincing Arguments: Sound Inferences What is Hoare Logic? ...
Bounded Model Checking
Contents What is Bounded Model Checking? Why bounded? Model Checking versus Bounded Model Checking Bounded Model Checking for Reachability Example: Two Bit Cou...
Clean Code: Unit Tests
Unit tests are a fundamental part of writing clean, maintainable, and robust code. They guide the design, provide documentation, and safeguard against future changes or refactoring. By adhering to ...
Collections in Java
Java Collections Framework is a pivotal component of Java programming, designed to handle groups of objects. It offers a more flexible and sophisticated framework for storing and manipulating group...
SAT Problem and DPLL
Contents What is SAT Problem? Conjunctive Normal Form of SAT Problem What is DPLL? DPLL Simplification Rules DPLL Splitting Example of a SAT P...
Relations and Functions in Event-B
Contents Ordered Pairs (↦) and Cartesian Products (×) Cartesian Products: Definition and Examples Cartesian Product is a Type Constructor Sets of Order Pairs ...
Introduction to Event-B
Contents What is Event-B? Basic Set Theory Set and Elements Enumeration and Cardinality of Finite Sets Subset and Equality Relations for Sets Operations on...
Introduction to Formal Methods & Event-B
In computer science, formal methods are mathematically rigorous techniques for the specification, development, analysis, and verification of software and hardware systems. The use of formal meth...
Just-In-Time (JIT) Compilation in Java
Java, known for its portability and efficiency, owes much of its performance optimization to the Just-In-Time (JIT) compiler. The JIT compiler is a remarkable feature of the Java ecosystem, offeri...
Recently Updated
