Search Results

Search Results for: Validation

Formal modeling and proving of Campus Management System: Event-B perspective

Journal:Bahria University Journal of Information & Communication Technology, 2017, Volume 10, Issue No 2

Author(s): Nadeem Akhtar, Malik M. Saad Missen, Rida Zahra Hashmi

Keyword(s): Campus Management System (CMS), Event-B, Formal modeling, Formal validation, Theorem Proving, RODIN

Category

Year

Journal

Close