ഉബുണ്ടു ഓൺലൈൻ, ഫെഡോറ ഓൺലൈൻ, വിൻഡോസ് ഓൺലൈൻ എമുലേറ്റർ അല്ലെങ്കിൽ MAC OS ഓൺലൈൻ എമുലേറ്റർ എന്നിങ്ങനെയുള്ള ഞങ്ങളുടെ ഒന്നിലധികം സൗജന്യ ഓൺലൈൻ വർക്ക്‌സ്റ്റേഷനുകളിലൊന്ന് ഉപയോഗിച്ച് OnWorks സൗജന്യ ഹോസ്റ്റിംഗ് ദാതാവിൽ ഇത് പ്രവർത്തിപ്പിക്കാനുള്ള കമാൻഡ് ഇതാണ്.
പട്ടിക:
NAME
എന്തുകൊണ്ട് - ഒരു മൾട്ടി-ലാംഗ്വേജ് മൾട്ടി-പ്രൂവർ വെരിഫിക്കേഷൻ ടൂൾ
സിനോപ്സിസ്
എന്തുകൊണ്ട് [ ഓപ്ഷനുകൾ ] ഫയലുകൾ
വിവരണം
എന്തുകൊണ്ട് ഒരു സ്ഥിരീകരണ ഉപകരണമാണ്. ഇത് വ്യാഖ്യാനിച്ച പ്രോഗ്രാമുകളെ ഇൻപുട്ടായി എടുക്കുന്നു (ML അല്ലെങ്കിൽ C വാക്യഘടനയിൽ) ഒപ്പം
നിരവധി പ്രൂഫ് അസിസ്റ്റന്റുകളുടെ (കോക്, പിവിഎസ്, എച്ച്ഒഎൽ ലൈറ്റ്, മിസാർ) ഔട്ട്പുട്ട് സ്ഥിരീകരണ വ്യവസ്ഥകൾ
തീരുമാന നടപടിക്രമങ്ങളും (haRVey, ലളിതമാക്കുക).
ഓപ്ഷനുകൾ
-h സഹായം. കമാൻഡ് ലൈൻ ഓപ്ഷനുകളുടെ പൂർണ്ണമായ ലിസ്റ്റ് നിങ്ങൾക്ക് നൽകും.
AUTHORS
ജീൻ-ക്രിസ്റ്റോഫ് ഫിലിയേറ്റർ <[ഇമെയിൽ പരിരക്ഷിച്ചിരിക്കുന്നു]>
onworks.net സേവനങ്ങൾ ഉപയോഗിച്ച് എന്തുകൊണ്ട് ഓൺലൈനിൽ ഉപയോഗിക്കുക
