Aditi Vidyarthi

  • Citations Per Year
Learn More
Abstract Interpretation theory formalizes the conservative approximation of the semantics of hardware and software computer systems. Abstract Interpretation approximates semantics according to some property of choice, this is formalized by choosing an appropriate abstract domain to use as abstraction of the semantics. A great variety of abstract domains can(More)
The steam generator water level is an important process parameter in nuclear power stations. It is essential to provide continuous heat sink to reactor through primary heat transport system and to ensure reactor safety. While on power or during reactor shutdown, the level control system removes the decay heat from the reactor core via boiler. At low reactor(More)
  • 1