Formal Methods in Software Engineering: Course outline (SE4733)

Introduction to the use of mathematical models for specification and validation, Finite state machine models, models of concurrent systems, verification of models, and limitations. Analyzing well-formedness (e.g. completeness, consistency, robustness, etc.) Analyzing correctness (e.g. static analysis, simulation, model checking, etc.), Formal analysis, An introduction to VDM-SL, Sets, Sequences, Composite objects, Maps, VDMSL, Comparative Formal Methods, Proofs, Introduction to Z

Reference Services provides reference and research assistance to students, faculty, and staff of Riphah International University. In-person assistance is available at the Query Desk of  Libraries. Librarians are also available through email on libonline

 ([email protected])

Individuals who want one-on-one research assistance should contact the Subject Specialist  in their area.