Execution of my java standalone project

$10-30 USD

Tamamlandı

İlan edilme:

neredeyse 4 yıl önce

$10-30 USD

Teslimde ödenir

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

Proje No: 26391559

Proje hakkında

4 teklif

Uzaktan proje

Son aktiviteden bu yana geçen zaman 4 yıl önce

Biraz para mı kazanmak istiyorsunuz?

E-posta adresi

Freelancer'da teklif vermenin faydaları

Bütçenizi ve zaman çerçevenizi belirleyin

Çalışmanız için ödeme alın

Teklifinizin ana hatlarını belirleyin

Kaydolmak ve işlere teklif vermek ücretsizdir

Seçilen:

@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 1 gün içinde

5,0

(21 değerlendirme)

5,0

4 freelancer bu proje için ortalama $523 USD teklif veriyor

@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 1 gün içinde

5,0

(65 değerlendirme)

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 14 gün içinde