Find Jobs
Hire Freelancers

Execution of my java standalone project

$10-30 USD

ที่ทำเสร็จแล้ว
โพสต์ เกือบ 4 ปีที่ผ่านมา

$10-30 USD

ชำระเงินเมื่อส่งงาน
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
รหัสโปรเจกต์: 26391559

เกี่ยวกับโปรเจกต์

4 ข้อเสนอ
โปรเจกต์ระยะไกล
ใช้งานอยู่ 4 ปีที่ผ่านมา

กำลังมองหาการสร้างรายได้ใช่ไหม?

ประโยชน์ของการประมูลกับ Freelancer

กำหนดงบประมาณและกรอบเวลาของคุณ
รับเงินจากการงานของคุณ
อธิบายข้อเสนอของคุณในภาพรวม
ลงทะเบียนและเสนอราคาฟรี
หมอบหมายให้:
รูปอวาตาร์ของผู้ใช้
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 วัน
5.0 (21 รีวิว)
5.0
5.0
4 ฟรีแลนซ์กำลังเสนอราคาโดยเฉลี่ย $523 USD สำหรับงานนี้
รูปอวาตาร์ของผู้ใช้
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 วัน
5.0 (65 รีวิว)
6.2
6.2
รูปอวาตาร์ของผู้ใช้
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 วัน
5.0 (2 รีวิว)
2.6
2.6
รูปอวาตาร์ของผู้ใช้
i have experience of working in some projects and have knowledge in jave and testing subjects and I do my best for my job
$20 USD ใน 7 วัน
0.0 (0 รีวิว)
0.0
0.0

เกี่ยวกับลูกค้า

ปักธงของ UNITED STATES
San Marcos, United States
5.0
2
ยืนยันวิธีการชำระเงินแล้ว
เป็นสมาชิกตั้งแต่ มิ.ย. 9, 2020

การยืนยันลูกค้า

ขอบคุณ! เราได้ส่งลิงก์สำหรับเครดิตฟรีให้คุณทางอีเมลแล้ว
เกิดข้อผิดพลาดขณะส่งอีเมลของคุณ กรุณาลองอีกครั้ง
โลโก้ Freelancer Thailand / ภาษาไทย ช่วยเหลือและสนับสนุน FreelancerประเภทโปรเจคการประกวดFreelancerองค์กรแพ็กเกจสมาชิกโครงการ Freelancer ชั้นแนวหน้าการจัดการโปรเจคงานในพื้นที่Photo Anywhereหน้าจัดแสดงผลงานAPI สำหรับนักพัฒนาได้รับการยืนยันDesktop App เกี่ยวกับเกี่ยวกับเราวิธีใช้งานความปลอดภัยนักลงทุนแผนผังเว็บไซต์เรื่องราวข่าวออกสื่อทีมรางวัลข่าวประชาสัมพันธ์ร่วมงานกับเรา ข้อกำหนดนโยบายความเป็นส่วนตัวข้อกำหนดและเงื่อนไขนโยบายลิขสิทธิ์ข้อพึงปฏิบัติค่าธรรมเนียมและค่าบริการหุ้นส่วนEscrow.comLoadshiftWarrior Forum แอปโลโก้ Apple App Store โลโก้ Google Play
ไม่สามารถคัดลอกไปยังคลิปบอร์ดได้ โปรดลองอีกครั้งหลังปรับเปลี่ยนการอนุญาต
คัดลอกไปยังคลิปบอร์ดแล้ว
ผู้ใช้ที่ลงทะเบียน งานที่มีการโพสต์ทั้งหมด
Freelancer ® is a registered Trademark of Freelancer Technology Pty Limited (ACN 142 189 759)
Copyright © 2024 Freelancer Technology Pty Limited (ACN 142 189 759)
กำลังโหลดตัวอย่าง
ได้รับอนุญาตสำหรับตำแหน่งทางภูมิศาสตร์
เซสชั่นการเข้าสู่ระบบของคุณหมดอายุและคุณได้ออกจากระบบแล้ว กรุณาเข้าสู่ระบบอีกครั้ง