| |
Conference:
Bangalore, India:
August 24-25, 07 |
| |
Conference Tutorials:
August 25 -
September 7, 07 |
|
|
|
|
|
 |
Plenary Speakers & Presentations |
|
| |
 |
| A Survey of some Formal Methods for Verification and Thoughts on their Applicability in Practice |
|
| Dr. Srinivasraghavan, CTO, AztecSoft |
|
|
| |
The presentation will cover a short survey of formal verification methods that can possibly be used for software testing in practice. Many of the formal methods in academic literature lack easy applicability to validation of complex real-life software. The talk will discuss some hypotheses, thoughts and ideas on how they can possibly be put to use in real life independent validation. The talk is aimed at stimulating discussion on use of formal methods. Practical usefulness of the ideas presented will need to be empirically validated in real life projects. Exploratory attempts at piloting some of these are just starting at Aztecsoft.
|
| |
| Meet Srinivasraghavan |
Dr. Raghavan, CTO, brings with him over 15 years of varied experience in IT. His experience spans architecting large complex enterprise software, product management, consulting, business & delivery management and (most recently) solution architecture for mega outsourcing engagements.He graduated with a B.Tech in Mechanical Engineering from the Indian Institute of Technology (IIT), Chennai and went on to pursue Masters in Mechanical Engineering followed by a Ph.D in Computer Science, both from IIT, Kanpur. He also served as a post-doctoral fellow with the Theoretical Computer Science Group at the Institute of Mathematical Sciences (Matscience), Chennai, following his Ph.D.
Prior to Aztecsoft,he spent many years with Infosys Technologies Ltd., handling several different roles involving technology, delivery and business leadership. He has also led product development at Peritus Software Services. He started in the industry as an Architect with Tata Information Services, now part of IBM Global Services.
|
| |
|
|
|
