Bissoy.com
Doctors Medicines MCQs Q&A

Which of the following is possible to locate errors in the specification of the future bus protocol?

Which of the following is possible to locate errors in the specification of the future bus protocol? Correct Answer BDD

The model checking was developed using the binary decision diagram and the BDD and it was possible to locate errors in the specification of the future bus protocol.

Related Questions

Each of the question below consists of a question and three statements number I, II and III given below it. You have to decide whether the data provided in the statement are sufficient to answer the question. If the bus is travelling from Surat to Ahmadabad and a car is travelling from Ahmadabad to Surat, then what is the distance between Surat and Ahmadabad? I. The speed of a car is 40% less than the speed of bus. Bus started at 9 am and car started at 10 am and they meet at 3 pm of the same day. II. After travelling for 1 hour, because of traffic average speed of bus is decreased by 20% and covers distance between Surat to Ahmadabad in 11 hours. Original speed of car is 20% less than original speed of bus and before crossing bus it covered 200 km if starts 1 hour later than bus. After crossing car, bus covers remaining distance in 5 hours. III. Speed of bus is 10 km/hr more than the speed of car and before crossing car ratio of distances covered bus and car in same time was 5 : 4. Time taken by car to cover the distance between Ahmadabad and Surat is 2 hours 15 minutes more than time taken by bus to cover the same distance.
A bus and a truck are available to cross a jungle. The speed of the truck is thrice that of the bus. The capacity of the truck is 50 persons and that of bus is 30 persons. The average occupancy of the bus is twice that of the truck. The tickets for the bus and the truck cost Rs 1 and Rs 1.50 respectively. What is the ratio of the average rupee collection of the truck to that of the bus in a day? Assume there is no wastage time between trips and the occupancy of the bus / truck is defined as the ratio of the actual number of persons boarding it and its capacity.
The District Transport Authority has started special bus services for college going students. One bus starts from village P. The number of girls in the bus is one-fourth of the number of boys. In village Q, 20 boys leave the bus at their college stop and ten girls enter the bus. Now the number of boys and girls is equal. How many students enter the bus in the beginning?
A bus started its journey with some passengers from city P to city S via cities Q and R respectively. On reaching city Q, 30% of the passengers left the bus and 2 new passengers boarded the bus. On reaching city R, 40% of the passengers left the bus and 7 new passengers boarded the bus. If 25 passengers reached city S, with how many passengers had the bus started from city P?
You are given a question and two statements. Idientify which of the statements is/are sufficient to answer the question. Question: In a city, some people travel to work by bus, some people travel to work by train, some people travel to work by both bus and train, and some travel to work neither by bus, nor by train. The number of people who travel to work by both bus and train is how much less than the number of people who travel to work by neither? Statements: (1) In the city, there are 384 people who travel to work by bus. (2) In the city, there are 672 people who travel to work by train,
Principle: A defendant is liable for all direct consequences of his act or omission, which he could have reasonably foreseen as naturally flowing from his action.
Factual Situation: A bus driver was driving a bus along the BRT corridor in New Delhi. At a Bus stand he carelessly drove the bus resulting in hitting a railing and crushing a Marshall on duty at the spot. A lady standing at a distance, on hearing about the accident rushed to the spot and saw the injured covered in blood, hanging on a piece of the railing. The sight terrified the lady and as a result she fainted and had to be treated for nervous shock. The lady on recovery filed a suit for compensation against the driver and the owner of the bus.
Two buses A and B moved from the same bus stop point. Bus A moved 2.5 km west and then turns left and moves 3 km, then turns right and moves 1.5 km and stops. Bus B moves 1 km in east and then turns right and moves 3 km and stops. Where is bus B with respect to bus A?
The engine of a bus follows certain mileage characteristics in a speed limit of 25 km/hr to 80 km/hr. The bus can travel a distance of 15 km in one litre of petrol while travelling at 50 km/hr. From this point onwards for every increase of 5 km/hr in the speed of the bus the mileage is increased by 1 km per litre. Similarly for every decrease of 5 kmph in the speed of the car the mileage is decreased by 1 km per litre. Assume that the bus travels in this speed limit only. Krishna has filled exactly 10 litres of petrol in his bus. He drives at a speed of 45 kmph for first two hours. What is maximum distance that he can cover with the remaining quantity of petrol before his tank empties?
Following are the probable errors committed during organisational processes.
(i) Leniency or severity error
(ii) Primacy and recency effects
(iii) Halo effect
(iv) Spill over effect
(v) Status effect
(vi) Perceptual set
Which of the following statement(s) given above is/are true/false?
1. (i), (ii), (iii) are recruitment errors
2. (i), (ii), (iii) are recruitment errors and (iv), (v) and (vi) are rating errors
3. All are rating errors
4. None are recruitment errors
Consider the following three statements about link state and distance vector routing protocols, for a large network with 500 network nodes and 4000 links. [S1] The computational overhead in link state protocols is higher than in distance vector protocols. [S2] A distance vector protocol (with split horizon) avoids persistent routing loops, but not a link state protocol. [S3] After a topology change, a link state protocol will converge faster than a distance vector protocol. Which one of the following is correct about S1, S2, and S3?