Skip to main content

    SE3102(2021/22)

    1. Home
    2. Courses
    3. List of Courses
    4. Faculty of Computing
    5. Department of SE
    6. Year II Semester I
    7. SE3102(2021/22)
    8. Summary

    Formal Methods (2021/22)

    • Teacher: Prasad Kumara
    • Teacher: PMAK Wijerathne

    Skip Calendar

    Calendar

    August 2025

    Mon Tue Wed Thu Fri Sat Sun
            1 2 3
    4 5 6 7 8 9 10
    11 12 13 14 15 16 17
    18 19 20 21 22 23 24
    25 26 27 28 29
    30 31
    • Hide site events
    • Hide category events
    • Hide course events
    • Hide group events
    • Hide user events
    • Hide other events
    Skip Navigation

    Navigation

    • Home

      • ForumSite announcements

      • Courses

        • List of Courses

          • Centre for Open and Distance Learning (CODL)

          • Faculty of Agricultural Sciences

          • Faculty of Applied Sciences

          • Faculty of Geomatics

          • Faculty of Management Studies

          • Faculty of Medicine

          • Faculty of Social Sciences and Languages

          • Faculty of Technology

          • Online Examinations

          • Staff Development Center

          • Faculty of Computing

            • Department of CIS Old Syllabus

            • Department of CIS New Syllabus

            • Department of DS

            • Semester I End Semester Examination (ONLINE) – Jan...

            • Department of SE

              • Year I Semester I

              • Year I Semester II

              • Year II Semester I

                • SE3101(2022/23)

                • SE3102(2022/23)

                • SE3103(2022/23)

                • SE3104(2022/23)

                • SE3105(2022/23)

                • SE3106(2022/23)

                • SE3107(2022/23)

                • SE-EAP-2101(2022/23)

                • SE3101(2021/22)

                • SE3102(2021/22)

                • SE3103(2021/22)

              • Year II Semester II

              • Year III Semester I

              • Year III Semester II

              • Year IV Semester I

              • Year IV Semester II

            • End Semester Examinations

            • Staff Developement Courses

            • VLE Training Sample Course - Batch (2023/24)

            • FOME

          • CCS

          • Lahiruni's course

    Contact Us

    Sabaragamuwa University of Sri Lanka
    PO Box 02
    Pambahinna, Sri Lanka - 70140

    Tel - 0452280049
    Email - vleadmin@sab.ac.lk

    About Us

    SUSL
    Graduate Studies
    CODL

    Research

    Research Grants
    Ongoing Research
    Journals

    Quick Links

    Main Library
    Digital Library
    Students Counsellors

    © 2020, All rights reserved by Sabaragamuwa University of Sri Lanka

    Data retention summary
    Get the mobile app