COMS 512 * We aren't endorsed by this school

COMS 512 Formal Methods In Software Engineering

* We aren't endorsed by this school

Formal Methods In Software Engineering Questions & Answers

Formal Methods In Software Engineering Flashcards

Formal Methods In Software Engineering Advice

Formal Methods In Software Engineering Documents

Showing 1 to 8 of 8

Sort by:
{[$select.selected.label]}

Formal Methods In Software Engineering Advice

  • Average Rating

    4.0/5
    Overall Rating Breakdown
    • 1 Advice
    • 5
      0%
    • 4
      100%
    • 3
      0%
    • 2
      0%
    • 1
      0%
  • Course Difficulty

    • Easy 0%

    • Medium 0%

    • Hard 100%

  • Top Course Tags

    Background Knowledge Expected

    Final Paper

    Great Intro to the Subject

Showing 1 to 1 of 1

View all
    • Profile picture
    Sep 07, 2016
    | Would recommend.

    This class was tough.

    Course Overview:

    This course helps to understand formal methods, proof techniques, program analysis. So those who are interested in program design, programming language they must take this course

    Course highlights:

    This course teaches proof techniques, program analysis, Program verification, CTL, Kripke Structure, Software Security Analysis

    Hours per week:

    6-8 hours

    Advice for students:

    You have to study and practise a lot. Tru to do a lots of proofs and follow the class lectures. The homeworks will be tough. But if you understand the topics the homeworks will not be so difficult

    • Spring 2015
    • Andrew Miner
    • Yes
    • Background Knowledge Expected Great Intro to the Subject Final Paper


Related Courses

Ask a homework question - tutors are online