Metadata
Technology & Computer Science Undergraduate Apply Hard
View More
Metadata

  • Subject

    Technology & Computer Science

  • Education level

    Undergraduate

  • Cognitive goals

    Apply

  • Difficulty estimate

    Hard

  • Tags

    model-checking, LTL, CTL, concurrency, distributed-systems, safety-liveness

  • Number of questions

    5

  • Created on

  • Generation source

  • License

    CC0 Public domain

  • Prompt

    Assess students' ability to model concurrent and distributed protocols (mutual exclusion, leader election, consensus) as transition systems/Kripke structures; formally express safety and liveness requirements in LTL and CTL; perform model checking to verify or refute properties; interpret counterexamples; and apply fairness constraints, abstraction, and reduction techniques to mitigate state-space explosion.
Use
Remix
Export
Review & Revise
Statistics
Remixes
100
Shares
100
Downloads
100
Attempts
100
Average Score
100%

Mock data used for demo purposes.