pheras, 1 month ago Spanish

Forge: A Tool and Language for Teaching Formal Methods

Forge is a lightweight formal-methods tool, similar to Alloy 6, built with teaching in mind.

https://forge-fm.org/

• x

  Image

  Upload file From url

  Image alternative text
• Englishespañol-------------------AfarAbkhazianAchineseAcoliAdangmeAdygheAvestanTunisian ArabicAfrikaansAfrihiliAghemAinuAkanAkkadianAlabamaAleutGheg AlbanianSouthern AltaiአማርኛAragoneseOld EnglishOboloAngikaالعربيةAramaicMapucheAraonaArapahoAlgerian ArabicNajdi ArabicArawakMoroccan ArabicEgyptian Arabicঅসমীয়াAsuAmerican Sign LanguageAsturianAtikamekwAvaricKotavaAwadhiAymaraazərbaycanBashkirBaluchiBalineseBavarianBasaaBamunBatak TobaGhomalaбеларускаяBejaBembaBetawiBenaBafutBadagaбългарскиHaryanviWestern BalochiBhojpuriBislamaBikolBiniBanjarKomSiksikáAniiTai Dambamanakanবাংলাབོད་སྐད་BishnupriyaBakhtiaribrezhonegBrajBrahuiBodobosanskiAkooseBuriatBugineseBuluBlinMedumbacatalàCaddoCaribCayugaAtsamChakmaнохчийнCebuanoChigaChamorroChibchaChagataiChuukeseMariChinook JargonChoctawChipewyanCherokeeCheyenneChickasawCentral KurdishChilcotinCorsicanCopticCapiznonCreeMichifCrimean TatarSouthern East CreePlains CreeNorthern East CreeMoose CreeCarolina AlgonquianSeselwa Creole FrenchčeštinaKashubianSwampy CreeChurch SlavicчӑвашWoods CreeCymraegdanskDakotaDargwaTaitaDeutschDelawareSlaveDogribDinkaZarmaDogriLower SorbianCentral DusunDualaMiddle DutchDivehiJola-FonyiDyulaརྫོང་ཁDazagaEmbuEʋegbeEfikEmilianAncient EgyptianEkajukΕλληνικάElamiteMiddle EnglishEsperantoCentral YupikeestieuskaraEwondoExtremaduranفارسیFangFantiPulaarsuomiFilipinoTornedalen FinnishFijianføroysktFonfrançaisCajun FrenchMiddle FrenchOld FrenchArpitanNorthern FrisianEastern FrisianFriulianFryskGaeilgeGaGagauzGan ChineseGayoGbayaZoroastrian DariGàidhligGeezGilbertesegalegoGilakiMiddle High GermanGuaraniOld High GermanGoan KonkaniGondiGorontaloGothicGreboAncient GreekSwiss GermanગુજરાતીWayuuFrafraGusiiGaelgGwichʼinHausaHaidaHakka ChineseHawaiianSouthern HaidaNorthern Haidaעבריתहिन्दीFiji HindiHiligaynonHittiteHmongHmong NjuaHiri MotuhrvatskiUpper SorbianXiang ChineseHaitian CreolemagyarHupaHalkomelemհայերենHererointerlinguaIbanIbibioIndonesiaInterlingueIgboꆈꌠꉙInupiaqEastern Canadian InuktitutWestern Canadian InuktitutIlokoIngushIdoíslenskaitalianoInuktitutIngrian日本語Jamaican Creole EnglishLojbanNgombaMachameJudeo-PersianJudeo-ArabicJutishJawaქართულიKara-KalpakKabyleKachinJjuKambaKawiKabardianKanembuTyapMakondeKabuverdianuKenyangKoroKongoKaingangKhasiKhotaneseKoyra ChiiniKhowarGikuyuKirmanjkiKuanyamaқазақ тіліKakokalaallisutKalenjinខ្មែរKimbunduಕನ್ನಡ한국어Komi-PermyakKonkaniKosraeanKpelleKanuriKarachay-BalkarKrioKinaray-aKarelianKurukhکٲشُرShambalaBafiaCologniankurdî (kurmancî)KumykKutenaiKomikernewekKwakʼwalaKuviкыргызчаLatinLadinoLangiWestern PanjabiLambaLëtzebuergeschLezghianLingua Franca NovaLugandaLimburgishLigurianLillooetLivonianLakotaLombardlingálaລາວMongoLouisiana CreoleLoziNorthern LuriSaamialietuviųLatgalianTshilubaLuba-LuluaLuisenoLundaLuoMizoLuyialatviešuLiterary ChineseLazMadureseMafaMagahiMaithiliMakasarMandingoMasaiMabaMokshaMandarMendeMeruMorisyenMalagasyMiddle IrishMakhuwa-MeettoMetaʼMarshalleseMāoriMi'kmawMinangkabauмакедонскиമലയാളംмонголManchuManipuriInnu-aimunMohawkMossiमराठीWestern MariMelayuMaltiMundangMuscogeeMirandeseMarwariMentawaiမြန်မာMyeneErzyaMazanderaniNauruMin Nan ChineseNeapolitanNamaNorwegian BokmålisiNdebeleLow GermanनेपालीNewariNdongaNiasNiueanAo NagaNederlandsKwasioNorwegian NynorskNgiemboonnorskNogaiOld NorseNovialN’KoSouth NdebeleNorthern SothoNuerNavajoClassical NewariNyanjaNyamweziNyankoleNyoroNzimaoccitanOjibwaNorthwestern OjibwaCentral OjibwaEastern OjibwaOji-CreeWestern OjibwaOkanaganOromooଓଡ଼ିଆиронOsageOttoman TurkishਪੰਜਾਬੀPangasinanPahlaviPampangaPapiamentoPalauanPicardNigerian PidginPennsylvania GermanPlautdietschOld PersianPalatine GermanPhoenicianPaliPijinpolskiPiedmontesePonticPohnpeianMaliseet-PassamaquoddyPrussianOld ProvençalپښتوportuguêsRunasimiKʼicheʼChimborazo Highland QuichuaRajasthaniRapanuiRarotonganRomagnolRohingyaRiffianrumantschIkirundiromânăRomboRomanyRotumanрусскийRusynRovianaAromanianKinyarwandaRwaसंस्कृत भाषाSandaweYakutSamaritan AramaicSamburuSasakSantaliSaurashtraNgambaySangusarduSicilianScotsسنڌيSassarese SardinianSouthern KurdishdavvisámegiellaSenecaSenaSeriSelkupKoyraboro SenniSängöOld IrishSamogitiansrpskohrvatskiTachelhitShanChadian ArabicසිංහලSidamoslovenčinaslovenščinaSouthern LushootseedLower SilesianSelayarSamoanSouthern SamiLule SamiInari SamiSkolt SamichiShonaSoninkeSoomaaliSogdienshqipсрпскиSranan TongoSererSwatiSahoSouthern SothoSaterland FrisianStraits SalishBasa SundaSukumaSusuSumeriansvenskaKiswahiliComorianClassical SyriacSyriacSilesianதமிழ்Southern TutchoneTuluతెలుగుTimneTesoTerenoTetumтоҷикӣTagishไทยTahltanትግርኛTigreTivtürkmen diliTokelauTsakhurTagalogKlingonTlingitTalyshTamashekTswanalea fakatongaNyasa TongaToki PonaTok PisinTürkçeTuroyoTarokoTorwaliTsongaTsakonianTsimshianтатарNorthern TutchoneMuslim TatTumbukaTuvaluTwiTasawaqTahitianTuvinianCentral Atlas TamazightUdmurtئۇيغۇرچەUgariticукраїнськаUmbunduاردوo‘zbekVaiVendaVenetianVepsTiếng ViệtWest FlemishMain-FranconianMakhuwaVolapükVoticVõroVunjoWalloonWalserWolayttaWarayWashoWarlpiriWolofWu ChineseKalmykIsiXhosaMingrelianKangriSogaYaoYapeseYangbenYembaייִדישÈdè YorùbáNheengatuCantoneseVahcuenghZapotecBlissymbolsZeelandicZenagaStandard Moroccan Tamazight中文isiZuluZuniZaza
• Add comment