Execution of my java standalone project

$10-30 USD

Terminado

Publicado

hace casi 4 años

$10-30 USD

Pagado a la entrega

Develop a Java standalone application that implements a model checking analysis tool for verification of properties defined in the CTL temporal logic. An application should be able to take as input the name of a file that contains definition of the Kripke structure to be analyzed, a state ID for which the property should be checked and a CTL formula that defines the property. The output should notify the user if the property is held or fails in the given state

Java

Software Testing

ID del proyecto: 26391559

Información sobre el proyecto

4 propuestas

Proyecto remoto

Activo hace 4 años

¿Buscas ganar dinero?

Dirección de email

Beneficios de presentar ofertas en Freelancer

Fija tu plazo y presupuesto

Cobra por tu trabajo

Describe tu propuesta

Es gratis registrarse y presentar ofertas en los trabajos

Adjudicado a:

@globalexpertss

Hi, I see that you are looking for a Java expert. I have years of extensive experience working with Java, JavaSE, JavaEE, J2EE, JavaME, and JavaFx software development kits and many other popular programming languages as well. I'm an experienced professional with advanced development skills and knowledge. Please have a look at my portfolio to see the projects that i have completed. I can meet all of your requirements completley and with 100% accuracy. Client satisfaction is my utmost priority and i do not compromise on it. Hire for quality work done and delivered on time. Regards, Badar Nadeem.

$30 USD en 1 día

5,0

(21 comentarios)

5,0

4 freelancers están ofertando un promedio de $523 USD por este trabajo

@paulprabhakarand

Hi, I read your post. More than a decade I had been working for software companies and started working as a freelancing consultant and developing and delivering applications on java based technologies and deliver it on high quality. I am good at Stand alone , web based and Enterprise applications. Thanks Paul

$40 USD en 1 día

5,0

(65 comentarios)

6,2

@martinrisa1

Hi, I am experienced IT developer with experience with formal analysis tools from school and from freelancing, I understand formal concepts required for this job. First thing to need to know is how big Kripke structures we are talking about? There exists some open source tools to do the job for you maybe you are looking for some integration into them. Regards. Bc. Martin Risa

$2.000 USD en 14 días