Introduction to JPF Community

[Soumyadeep Ganguly]

Hi everyone,

I  am Soumyadeep Ganguly from University of Calcutta pursuing Computer Science and Engineering.I am very eager to contribute for JPF in GSoC'21. What draws my attention and interest is that it is a model checking virtual machine and model checking is something that fascinates me.I am going through the documentation and trying to understand it to the fullest at the present moment.Any advice will surely help me to proceed in a better way.

Regards,

Soumyadeep Ganguly

[Cyrille Artho]

Hi,

Thank you for your interest in JPF/GSoC.

We are always trying to improve the documentation. Please read it and try to install/run JPF first. If something is not clear, please let us know, and we will try to improve it. (Unless the matter is trivial, using the issue tracker is a better way of letting us know than using this forum. With the issue tracker, we can keep track of what we change and why.)

Suggestions for improvements are also welcome.

[Soumyadeep Ganguly]

Sir, when we are going to get the projects for GSoC'2?

--

---
You received this message because you are subscribed to the Google Groups "Java™ Pathfinder" group.
To unsubscribe from this group and stop receiving emails from it, send an email to java-pathfind...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/java-pathfinder/22fe9751-c15f-45fc-bbc9-0f3059cf4f3dn%40googlegroups.com.

[Soumyadeep Ganguly]

*GSoC'21