English: So, essentially the systems are becoming more and more complex and how to model such systems, how to verify such systems, so that is another area.
Telugu: కాబట్టి, ముఖ్యంగా వ్యవస్థలు మరింత క్లిష్టంగా మారుతున్నాయి మరియు అటువంటి వ్యవస్థలను ఎలా మోడల్ చేయాలి, అటువంటి వ్యవస్థలను ఎలా ధృవీకరించాలి, కాబట్టి ఇది మరొక ప్రాంతం.