Subject Details
Dept     : CS
Sem      : 3
Regul    : 2022-2025
Faculty : Nandhini
phone  : NIL
E-mail  : nandhini23594@gmail.com
276
Page views
56
Files
0
Videos
0
R.Links

Icon
Announcements

  • Lecture Notes

    Dear Students the Lecture Notes has been uploaded for the following topics:
    Representing subsets of the set of states,
    Symbolic model checking,
    Binary decision diagrams : Representing Boolean functions,
    Propositional formulas and truth tables,
    Binary decision diagrams,
    Ordered BDDs,
    Algorithms for reduced OBDDs The algorithm reduce, apply, restrict, exists,
    Representing the transition relation,
    Implementing the functions pre∃ and pre∀,
    Synthesizing OBDDs - A relational mucalculus,
    Syntax and semantics, Coding CTL models and specifications.

  • Lecture Notes

    Dear Students the Lecture Notes has been uploaded for the following topics:
    Soundness of propositional logic - Completeness of propositional logic,
    Soundness of propositional logic - Completeness of propositional logic,
    Provable equivalence,
    Propositional logic as a formal language,
    Mathematical induction,
    The meaning of logical connectives

  • Lecture Notes

    Dear Students the Lecture Notes has been uploaded for the following topics:
    Declarative sentences,
    Natural deduction - Rules for natural deduction,
    Derived rules,
    Provable equivalence

  • Question Bank

    Dear Students the Question Bank has been uploaded for the following topics:
    LC

  • Lecture Notes

    Dear Students the Lecture Notes has been uploaded for the following topics:
    The ferryman,
    Syntax of CTL Semantics of CTL,
    Important equivalences between CTL formulas, Adequate sets of CTL connectives,
    Model-checking algorithms,
    The expressive powers of LTL and CTL,
    Proof tableaux,
    Proof calculus for total correctness,
    Proof calculus for partial correctness: Proof rules,
    Modal logics and agents: Modes of truth,
    Basic modal logic,
    Logic engineering,
    Program variables and logical variables,
    Partial and total correctness,
    Hoare triples,
    Program verification - A core programming language

  • Lecture Notes

    Dear Students the Lecture Notes has been uploaded for the following topics:
    Predicate logic - The need for a richer language,
    Predicate logic as a formal language – Terms,
    Alma - A software micromodel,
    Existential second-order logic - Universal second-order logic,
    Formulas - Free and bound variables,
    Semantics of predicate logic – Models,
    Substitution - Proof theory of predicate logic

  • Lecture Notes

    Dear Students the Lecture Notes has been uploaded for the following topics:
    The ferryman - Syntax of CTL,
    Adequate sets of CTL connectives,
    Important equivalences between LTL formulas,
    Linear-time temporal logic,
    Mutual exclusion - The NuSMV model checker,
    Practical patterns of specifications,
    Syntax of LTL - Semantics of LTL,
    Verification by model checking

X
maheskumar
SNS COLLEGE OF ENGINEERING
Admin Dept
facebook_profile
facbook_profile