About CS636 Assignment 1
CS636 Assignment No 1 for Fall 2026 is from Formal Methods. It covers lesson 3: Mathematical models for software specification and verification - Part 2, carries 20 marks and is due on VULMS by 11:59 pm on Monday 9 November 2026. You can request the solution from this page.
- Course
- CS636 Formal Methods
- Assignment
- Assignment No 1
- Semester
- Fall 2026
- Lesson
- 3: Mathematical models for software specification and verification - Part 2
- Total marks
- 20
- End date
- Mon 9 Nov, 11:59 pm
What CS636 Assignment 1 asks
This assignment focuses on designing a formal model for an automatic ticket vending machine at a bus station. The machine operates by accepting specific coin denominations of $1.00 and $0.50 until a total of $3.00 is reached. You are required to define the formal components of this system and represent its behavior using a state machine. The final output must illustrate the logic for accepting coins, issuing a ticket, and resetting the system.
-
1
Question 1
5 marksIdentify and list the complete set of states required for the ticket vending machine. Ensure the states account for the accumulation of money up to the $3.00 threshold and the reset process.
-
2
Question 2
5 marksDetermine and list the complete set of input alphabets for the machine. These inputs must correspond to the specific coin denominations accepted by the system.
-
3
Question 3
10 marksConstruct a Deterministic Finite Automata (DFA) diagram representing the vending machine scenario. The diagram must incorporate the coin acceptance rules, the $3.00 target, the handling of ignored inputs via self-loops, and the transition back to the initial state after ticket collection.
- What to submit
- One document file containing the set of states, input alphabets, and the DFA diagram.
- Topics covered
- Deterministic Finite Automata Formal specification State transition diagrams Mathematical modeling System requirements analysis
A summary of the assignment file, Fall 2026_CS636_1.docx. Download the file for the full wording before you start.
Lesson covered
The questions in this assignment come from this lesson. Read it in the CS636 handout before you open the assignment file, then practise it with the MCQs and past papers.
Solution
The solution has not been added yet. Request it from the download box and it will be added to this page, usually within a day.
Before you submit on VULMS
- 1 Start on the questions in the assignment file now. The solution will be added to this page once it is written.
- 2 Write the final answer in your own words. VU checks assignments for copying, and copied work gets zero marks.
- 3 Save your answer in the file type the assignment file asks for, and name it with your student ID, for example BC260012345.
- 4 Open the file once more to check it is not empty or corrupted, then upload it on VULMS before 11:59 pm on Mon 9 Nov.
Questions about this assignment
When is CS636 Assignment 1 due?
Monday 9 November 2026 at 11:59 pm. VULMS does not accept files after the deadline.
When will the solution be added?
Most solutions are up within a day of a request. Requests tell us which ones to write first, and 0 students have asked for this one so far.
Can I submit the solution as it is?
No. VU checks assignments for copying, and copied work gets zero marks. Use the solution to check your method, then write your own answer.
What file do I submit?
The assignment file says which file type to upload and lists any extra instructions from your instructor. Name the file with your student ID before you upload it on VULMS.