ഇംഗ്ലീഷ്ഫ്രഞ്ച്സ്പാനിഷ്

സെർവറുകൾ പ്രവർത്തിപ്പിക്കുക | Ubuntu > | Fedora > |


OnWorks ഫെവിക്കോൺ

gwhy-bin - ക്ലൗഡിൽ ഓൺലൈനിൽ

ഉബുണ്ടു ഓൺലൈൻ, ഫെഡോറ ഓൺലൈൻ, വിൻഡോസ് ഓൺലൈൻ എമുലേറ്റർ അല്ലെങ്കിൽ MAC OS ഓൺലൈൻ എമുലേറ്റർ എന്നിവയിലൂടെ OnWorks സൗജന്യ ഹോസ്റ്റിംഗ് പ്രൊവൈഡറിൽ gwhy-bin പ്രവർത്തിപ്പിക്കുക

Ubuntu Online, Fedora Online, Windows online emulator അല്ലെങ്കിൽ MAC OS ഓൺലൈൻ എമുലേറ്റർ എന്നിങ്ങനെയുള്ള ഞങ്ങളുടെ ഒന്നിലധികം സൗജന്യ ഓൺലൈൻ വർക്ക്സ്റ്റേഷനുകളിലൊന്ന് ഉപയോഗിച്ച് OnWorks സൗജന്യ ഹോസ്റ്റിംഗ് ദാതാവിൽ പ്രവർത്തിപ്പിക്കാവുന്ന gwhy-bin കമാൻഡ് ആണിത്.

പട്ടിക:

NAME


എന്തുകൊണ്ട് - ഒരു മൾട്ടി-ലാംഗ്വേജ് മൾട്ടി-പ്രൂവർ വെരിഫിക്കേഷൻ ടൂൾ

സിനോപ്സിസ്


എന്തുകൊണ്ട് [ ഓപ്ഷനുകൾ ] ഫയലുകൾ

വിവരണം


എന്തുകൊണ്ട് ഒരു സ്ഥിരീകരണ ഉപകരണമാണ്. ഇത് വ്യാഖ്യാനിച്ച പ്രോഗ്രാമുകളെ ഇൻപുട്ടായി എടുക്കുന്നു (ML അല്ലെങ്കിൽ C വാക്യഘടനയിൽ) ഒപ്പം
നിരവധി പ്രൂഫ് അസിസ്റ്റന്റുകളുടെ (കോക്, പിവിഎസ്, എച്ച്ഒഎൽ ലൈറ്റ്, മിസാർ) ഔട്ട്പുട്ട് സ്ഥിരീകരണ വ്യവസ്ഥകൾ
തീരുമാന നടപടിക്രമങ്ങളും (haRVey, ലളിതമാക്കുക).

ഓപ്ഷനുകൾ


-h സഹായം. കമാൻഡ് ലൈൻ ഓപ്ഷനുകളുടെ പൂർണ്ണമായ ലിസ്റ്റ് നിങ്ങൾക്ക് നൽകും.

AUTHORS


ജീൻ-ക്രിസ്റ്റോഫ് ഫിലിയേറ്റർ <filliatr@lri.fr>

onworks.net സേവനങ്ങൾ ഉപയോഗിച്ച് gwhy-bin ഓൺലൈനിൽ ഉപയോഗിക്കുക


Ad


Ad