Rajiv Murali

Learn More
An approach to generating provably correct sequential code from formally developed algorithmic designs is presented. Given an algorithm modelled in the Event-B formalism, we automatically translate the design into the SPARK programming language. Our translation builds upon Abrial's approach to the development of sequential programs from Event-B models.(More)
During an ambush it is very important to identify the direction of attack for retaliation. A gunshot localizer in this scenario can alert the troops of the incoming bullet. Firing of a gun produces a high sound pressure which can be used for locating the shooting position. Such devices also find application in high security areas to listen for any probable(More)
Bottom ash is a hazardous by-product from coal based thermal power plants. In this study fine aggregate in concrete mix has been replaced with bottom ash and glass fibre is additionally used to enhance the strength characteristics of concrete. The concrete mix design is done for M30 grade concrete. The mix is prepared for different combinations of 0%, 30%,(More)
  • 1