hw1 copy - CS 290C Spring 2010 Homework Assignment 1 Due...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon
CS 290C – Spring 2010 – Homework Assignment 1 Due Tuesday, April 20th Do not discuss the problems with anyone other than the instructor. 1. Specify the following navigation properties in temporal logic LTL. Assume that the navigation model represents html pages as states and links among the pages as transitions. (a) Eventually checkout-page is visited (i.e., on all paths starting from the initial states, at some point checkout-page is visited) (b) Always eventually home-page is visited (i.e., on any path that starts from the initial states, starting from any point on that path, eventually the home-page is visited) (c) The Frst page is the login-page and the next page is either the login-error-page or the home-page (again, on all paths starting from the initial state this property should hold) (d) Whenever login-page is visited, the next page is either the login-error-page or the login- success-page (i.e., on all paths starting from the initial states whenever we get to the login- page, the next page should either be the login-error-page or a the login-success-page). (e)
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 2
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 12/27/2011 for the course CMPSC 290h taught by Professor Chong during the Fall '09 term at UCSB.

Page1 / 2

hw1 copy - CS 290C Spring 2010 Homework Assignment 1 Due...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online