CS636 Solved Subjective and MCQs by Mubeen Mustafa
- Type
- MCQs
- Course
- CS636 Formal Methods
- Size
- PDF 2.9 MB
- Updated
- 23 Oct 2026
You get 3 free files a day on the website. Add the Chrome extensionSign in with the extension for 30 a day.
Preview text
Text from pages 4, 8 of 87. Download the file for all 87 pages.
rectangle
vertical bar
Q6. of 10 ( Start time: 04:18:10 PM, 02 May 2024 )
The minimum number of states required to recognize an octal number divisible by 3 are/is
3 Correct
Q7. of 10 ( Start time: 04:18:26 PM, 02 May 2024 )
___________________ constitute a branch of software engineering that incorporates the use of mathematics for software development.
Formal methods Correct Modeling phase
Integrated phase Correct
Analysis phase
Running phase
Q3. of 10 ( Start time: 09:50:48 AM, 14 May 2024 )
Modeling phase formalize the property to be checked using the property ……………..
Description language
General language
Specification language Correct
Q4. of 10 ( Start time: 09:51:23 AM, 14 May 2024 )
A model or a diagram is well-formed if its structure satisfies the ___________ rules.
Related CS636 files
All CS636 files →Get more out of VUBuddy, for free
- Unlimited downloads
- The explanation behind every MCQ answer
- Study offline on slow data
- 30 downloads a day instead of 3
- Sign in and buy Pro Semester here
One Pro Semester membership works in both the extension and the app.