= Computer aided formal verification
{scope}
{title2=A12072W1}
Solutions to the paper whose cover dates the examination to 6 June 2015, 2:30–4:00 pm. Source: https://www.whatdotheyknow.com/request/computer_science_past_exam_paper/response/956037/attach/3/Lawrence%20Attachment.zip?cookie_passthrough=1[released examination archive], member `2015-cafv.pdf`. All three questions are covered, although candidates were asked to attempt at most two. In the <binary decision diagrams>, dashed arrows mean zero and solid arrows mean one. In the <linear temporal logic> calculations, $F=\Diamond$, $G=\square$ and $X=\bigcirc$.
Back to article page
