এটি প্রুফওএস নামের লিনাক্স অ্যাপ যার সর্বশেষ রিলিজটি proofos-all-0.1.tgz হিসাবে ডাউনলোড করা যেতে পারে। এটি ওয়ার্কস্টেশনের জন্য বিনামূল্যের হোস্টিং প্রদানকারী OnWorks-এ অনলাইনে চালানো যেতে পারে।
OnWorks সহ ProofOS নামের এই অ্যাপটি বিনামূল্যে অনলাইনে ডাউনলোড করুন এবং চালান।
এই অ্যাপটি চালানোর জন্য এই নির্দেশাবলী অনুসরণ করুন:
- 1. আপনার পিসিতে এই অ্যাপ্লিকেশনটি ডাউনলোড করুন৷
- 2. আমাদের ফাইল ম্যানেজারে প্রবেশ করুন https://www.onworks.net/myfiles.php?username=XXXXX আপনি যে ইউজারনেম চান।
- 3. এই ধরনের ফাইল ম্যানেজারে এই অ্যাপ্লিকেশনটি আপলোড করুন।
- 4. এই ওয়েবসাইট থেকে OnWorks Linux অনলাইন বা Windows অনলাইন এমুলেটর বা MACOS অনলাইন এমুলেটর শুরু করুন।
- 5. OnWorks Linux OS থেকে আপনি এইমাত্র শুরু করেছেন, আমাদের ফাইল ম্যানেজারে যান https://www.onworks.net/myfiles.php?username=XXXXX আপনার পছন্দের ব্যবহারকারীর নাম সহ।
- 6. অ্যাপ্লিকেশনটি ডাউনলোড করুন, এটি ইনস্টল করুন এবং এটি চালান।
প্রুফওএস
Ad
বর্ণনাঃ
এই প্রকল্পের লক্ষ্য হল একটি প্রোটোটাইপ সিস্টেম তৈরি করা যা অন্বেষণ করে যে কীভাবে লোকেরা সফ্টওয়্যার চালায় তার পরিবর্তনের উপর ভিত্তি করে আমরা কীভাবে কম্পিউটার সিস্টেম ডিজাইনকে পুনঃদর্শন করা উচিত, সেইসাথে সফ্টওয়্যারের স্ট্যাটিক বিশ্লেষণে অগ্রগতি।
পাঠকবর্গ
বিকাশকারী, তথ্য প্রযুক্তি, বিজ্ঞান/গবেষণা
প্রোগ্রামিং ভাষা
সমাবেশ, C, OCaml (উদ্দেশ্য Caml)
বিভাগ
এটি একটি অ্যাপ্লিকেশন যা https://sourceforge.net/projects/proofos/ থেকেও আনা যেতে পারে। আমাদের বিনামূল্যের অপারেটিভ সিস্টেমগুলির মধ্যে একটি থেকে সবচেয়ে সহজ উপায়ে অনলাইনে চালানোর জন্য এটি OnWorks-এ হোস্ট করা হয়েছে।
