Home›Software And Its Engineering›Field›Formal Methods and Verification›All Formal Methods and VerificationBrowse ByAll Formal Methods and VerificationFactsAll Formal Methods and VerificationSourcesComments (0)Reader Challenges (0)FactsComparisonEra of EmergenceWell-attested1949 1All Formal Methods and VerificationFilter Results58 entriesBornAll1900 (1)1926 (1)1933 (1)1935 (1)1937 (2)1939 (1)1941 (3)1942 (1)1943 (1)1945 (1)1946 (1)1947 (5)1948 (1)1949 (1)1950 (1)1951 (1)1952 (1)1953 (1)1954 (2)1955 (1)1956 (2)1957 (3)1958 (2)1961 (1)1962 (1)1963 (2)1965 (1)1966 (1)1969 (1)GroupAllFormal Methods and Verification (58)NationalityAllCanada (1)China (2)Denmark (2)France (1)Germany (2)Israel (2)United Kingdom (1)United States (9)BrowseCompareSelect all 58Amir PnueliSoftware And Its EngineeringAnders P. RavnSoftware And Its EngineeringCarl Adam PetriSoftware And Its EngineeringChristine Paulin-MohringSoftware And Its EngineeringCliff JonesSoftware And Its EngineeringDavid GriesSoftware And Its EngineeringDavid HarelSoftware And Its EngineeringDavid L. DillSoftware And Its EngineeringDines BjornerSoftware And Its EngineeringE. Allen EmersonSoftware And Its EngineeringEdmund ClarkeSoftware And Its EngineeringEdmund M. ClarkeSoftware And Its EngineeringEric HehnerSoftware And Its EngineeringGeorge NeculaSoftware And Its EngineeringGérard BerrySoftware And Its EngineeringGérard HuetSoftware And Its EngineeringGerard J. HolzmannSoftware And Its EngineeringGerwin KleinSoftware And Its EngineeringGreg Nelson (computer scientist)Software And Its EngineeringHans ZantemaSoftware And Its EngineeringHaskell CurrySoftware And Its EngineeringHe JifengSoftware And Its EngineeringIan HorrocksSoftware And Its EngineeringJ Strother MooreSoftware And Its EngineeringJane HillstonSoftware And Its EngineeringJohn C. ReynoldsSoftware And Its EngineeringJon Michael DunnSoftware And Its EngineeringJonathan BowenSoftware And Its EngineeringJoseph GoguenSoftware And Its EngineeringJoseph SifakisSoftware And Its EngineeringKen RobinsonSoftware And Its EngineeringKim Guldstrand LarsenSoftware And Its EngineeringLawrence PaulsonSoftware And Its EngineeringManfred BroySoftware And Its EngineeringMarsha ChechikSoftware And Its EngineeringMarta KwiatkowskaSoftware And Its EngineeringMatt KaufmannSoftware And Its EngineeringMichael ButlerSoftware And Its EngineeringMoshe VardiSoftware And Its EngineeringParitosh PandyaSoftware And Its EngineeringPatrick CousotSoftware And Its EngineeringPer Martin-LofSoftware And Its EngineeringPeter O'HearnSoftware And Its EngineeringPhilippa GardnerSoftware And Its EngineeringRadhia CousotSoftware And Its EngineeringRajeev AlurSoftware And Its EngineeringRandal BryantSoftware And Its EngineeringRobert K. BraytonSoftware And Its EngineeringRobert L. ConstableSoftware And Its EngineeringRolf DrechslerSoftware And Its EngineeringSandrine BlazySoftware And Its EngineeringSimon Thompson (professor)Software And Its EngineeringSophia DrossopoulouSoftware And Its EngineeringSusan OwickiSoftware And Its EngineeringThierry CoquandSoftware And Its EngineeringTobias NipkowSoftware And Its EngineeringTom MaibaumSoftware And Its EngineeringZhou ChaochenSoftware And Its EngineeringSources1. Wikipedia: Formal methodsWikimedia FoundationFormal methods, History section, Turing correctness-argument sentenceQuote, Formal methods, History section, Turing correctness-argument sentenceAlan Turing sketched a correctness argument for a routine in 1949, and in the late 1960s Robert W. Floyd and Tony Hoare established the axiomatic tradition of program proof that became Hoare logic.View the SourceComments (0)No comments yet. Be the first to share a thought.Sign in to join the discussion.Reader Challenges (0)No disputes yet. Spotted an error or a better source? Open the first one.Sign in to dispute this or suggest a correction.