SCCI Digital Library and Forum

Menu

Home
About Us
Video Library
eBooks
SCCI Forum

Home » Applied Sciences » Computer Science » Formal Methods for Software Engineering (V-U) » Hoare's Logic (Conditional and Control Flow, Invariant Condition) (V-U)

Hoare's Logic (Conditional and Control Flow, Invariant Condition) (V-U)

Course:Formal Methods for Software Engineering (V-U)
Discipline:Applied Sciences
Institute:Virtual University
Instructor(s): Dr. Fakhar Lodhi
Level:Undergraduate

Formal Methods for Software Engineering (V-U)

A Pure Java Implementation – Design by Contract (V-U)
Activities, Limitations and Acceptance of Formal Methods, Seven Myths of Formal Methods (V-U)
Algebraic Specification: Rules and Methods (V-U)
Constructing Loops, The Dutch National Flag Problem (V-U)
Defensive Programming, Design by Contract (V-U)
Design by Contract and its Components (V-U)
Development of Concurrent System (Petri Nets), Behavioural Properties with Examples (V-U)
Development of Concurrent System, Conflict, Concurrency and Confusion, Behavioural Properties (V-U)
Dijkstra's Algorithm, Some useful Equivalances (V-U)
Hoare's Logic (Conditional and Control Flow, Invariant Condition) (V-U)
Hoare's Logic (Weakest Pre-condition and Loops) (V-U)
Hoare's Logic with Example (Tower of Hanoi) (V-U)
Hoare's Logic, Verification of Functions (V-U)
How to Specify Concurrent and Real Time System, Introduction to Petri Nets (V-U)
How to use Specification of Boolean, Pair, List, Quad and Bimap (V-U)
Implementation of Design by Contract (jContractor) (V-U)
Interface of Algebraic Specification and Larch (Family of Specification) Languages (V-U)
Introduction to Formal Methods (V-U)
Introduction to Hoare's Logic (V-U)
Larch Specification Languages (V-U)

Sialkot Chamber of Commerce & Industry P.O. Box 1870, Shahrah-e-Aiwan-e-Sanat-o-Tijarat, Sialkot City 51310 – Pakistan

Facebook Twitter Instagram

Need help?

+92-52-4261881-3

sialkot@scci.com.pk

Copyright © 2026 SCCI Digital Library and Forum | All Right Reserved. Developed By FARAZ SALEEM