Explain Counters, Counter variables are commonly used in many computer applications for

Explain Counters

Counter variables are commonly used in many computer applications for different purposes. Here is a typical example where a variable is used to measures the progress of some activity of interest:

If the exact value of the progress variable or the entire range of its values is not really required for checking the property of interest, then the use of this variable can cause unnecessary (potentially infinite) state space expansion. In this case, the progress variable can be reduced to a Boolean variable:

This modification immediately cuts down the number of states that need to be explored for this piece of code from ((2*MAXINT)+1)² to only two possibilities: the progress variable taking only the value of true or false. Such small modifications can lead to exponential improvements in memory and time for a model checker.

View Complete Question

Related Questions in Programming Languages

Q : Explain the relationship between XHTML

Explain the relationship between XHTML and HTML?

Q : Define the term Condition Define the

Define the term Condition: It is a Boolean expression which controls a conditional statement or loop.

Q : How Java client access Corba A Corba

A Corba remote object exists. How could you get a Java client to access this object?

Q : Explain a quality and metrics reporting

What opinion would you provide to someone who asked you where to begin to introduce to their company a quality and metrics reporting program?

Q : What is the use of compatibility testing

What is the use of compatibility testing?

Q : Define the term Field Define the term

Define the term Field: Variables stated within a class or interface, exterior of the methods. The fields are members of a class.

Q : Generate source code for an ASP.NET Web

What is the possibility to generate the source code for an ASP.NET Web service by a WSDL? Answer: The Wsdl.exe tool (as .NET Framework SDK) can be utilized to genera

Q : Define Propagation Propagation : When

Propagation: When an exception is thrown in a method, and there is no suitable exception handler within the method, the exception might be propagated to the caller of the method. For a checked exception, the method should include a throws clause in it

Q : State Null character State Null

State Null character: The \u0000 character. The care must be taken not to confuse this with null reference.

Q : Explain Primitive Type Abstractions

Primitive Type Abstractions: An effective way to reduce the state space of a program is to replace the primitive types with the corresponding abstractions that encapsulate all the possible operations that are performed on these types.

Discover Q & A

Leading Solution Library

Avail More Than 1417965 Solved problems, classrooms assignments, textbook's solutions, for quick Downloads

No hassle, Instant Access

Start Discovering

18,76,764

1934038
Asked

3,689

Active Tutors

1417965

Questions
Answered

Start Excelling in your courses, Ask an Expert and get answers for your homework and assignments!!

Submit Assignment