Some current topics in model checking

Some approximations in Model Checking and Testing

Model checking and testing are two areas with a similar goal: to verify that a system satisfies a property. They start with different hypothesis on the systems and develop many techniques with different notions of approximation, when an exact verification may be computationally too hard. We present some notions of approximation with their logic and statistics backgrounds, which yield several te...

Current Topics in Epilepsy

Human epilepsies, by definition, are recurrent, self-sustained, paroxysmal disorders of brain function characterised by excessive firing of cerebral neurones. The underlying biochemical and morphological disturbances in the brain which are responsible for epilepsy are not clearly understood except that they appear to be diverse and hence the immediate difficulty in advancing a common mechanism ...

Current topics in ageing

The book begins with appreciable comments by Prof Mandeep S Dhillon, HOD, Deptt of Orthopedics, PGIMER, Chandigarh. He has rightly remarked it as an excellent attempt by the authors in bringing out this self care booklet for caregivers of bedridden patients. With increased life expectancy, the percentage of elderly population will significantly increase in India. Bringing out such a book was ne...

Some topics in orthogonality

Planning Via Model Checking: Some Experimental Results

Model checking is a widely used technique in verification of dynamic systems. Re­ cently several papers have shown that model checking can be used to do planning. In the present paper we report the results of a set of experiments on using two well­ known model checkers, Spin and SMV, to do traditional planning (i.e, planning in a complete information setting for reaching a state where a certain...