Home›Software And Its Engineering›Formal Methods and VerificationGroupFormal Methods and VerificationThis group gathers pioneers of software and its engineering whose primary contribution was proving software or hardware correct through mathematical logic, including model checking, theorem proving, abstract interpretation, type theory, denotational and operational semantics, and specification languages such as Z, VDM and B. It follows the Formal Methods second-level heading of the ACM Computing Classification System under Software and its engineering. Their shared work is establishing, with mathematical rigor, that a system meets its specification, as distinct from writing the system code, its compiler or its process documentation.FactsBrowse BySourcesComments (0)Reader Challenges (0)FactsComparisonEra of EmergenceWell-attested1949 1Browse ByAll Formal Methods and VerificationFormal Methods and Verification64 entriesFormal Methods and VerificationFilter Results64 entriesFieldAllFormal Methods and Verification (64)BornAll1900 (1)1926 (1)1933 (1)1935 (1)1937 (2)1939 (1)1941 (4)1942 (2)1943 (2)1944 (1)1945 (1)1946 (1)1947 (6)1948 (2)1949 (1)1950 (1)1951 (1)1952 (2)1953 (2)1954 (3)1955 (1)1956 (3)1957 (3)1958 (2)1961 (1)1962 (1)1963 (2)1965 (1)1966 (1)1969 (1)1975 (1)NationalityAllBrazil (1)Canada (1)China (2)Denmark (3)Finland (1)France (8)Germany (4)Greece (2)India (2)Israel (3)Netherlands (2)Poland (1)Romania (1)Sweden (1)United Kingdom (5)United States (21)Contribution KindAllTheory (1)GroupAllFormal Methods and Verification (64)ACM AreaAllArtificial Intelligence (1)Formal Methods (39)Programming Language Theory (9)Software Engineering (3)Theory of Computation (6)AffiliationAllCarnegie Mellon University (1)Åbo Akademi University (1)Show ResultsBrowseCompareSelect all 50Amir PnueliSoftware And Its Engineering1 linkAnders P. RavnSoftware And Its Engineering2 linksCarl Adam PetriSoftware And Its Engineering1 linkCarolyn TalcottSoftware And Its Engineering1 linkChristine Paulin-MohringSoftware And Its Engineering2 linksCliff JonesSoftware And Its EngineeringDavid GriesSoftware And Its Engineering3 linksDavid HarelSoftware And Its Engineering1 linkDavid L. DillSoftware And Its Engineering1 linkDines BjornerSoftware And Its Engineering1 linkE. Allen EmersonSoftware And Its Engineering1 linkEdmund M. ClarkeSoftware And Its Engineering1 linkEric HehnerSoftware And Its Engineering1 linkGeorge NeculaSoftware And Its Engineering2 linksGérard BerrySoftware And Its Engineering1 linkGérard HuetSoftware And Its Engineering3 linksGerard J. HolzmannSoftware And Its Engineering1 linkGerwin KleinSoftware And Its EngineeringGreg Nelson (computer scientist)Software And Its Engineering1 linkHans ZantemaSoftware And Its EngineeringHaskell CurrySoftware And Its Engineering3 linksHe JifengSoftware And Its Engineering1 linkIan HorrocksSoftware And Its Engineering1 linkJ Strother MooreSoftware And Its Engineering5 linksJane HillstonSoftware And Its EngineeringJeannette WingSoftware And Its Engineering1 linkJohn C. ReynoldsSoftware And Its Engineering1 linkJon Michael DunnSoftware And Its EngineeringJonathan BowenSoftware And Its Engineering1 linkJoseph GoguenSoftware And Its Engineering1 linkJoseph SifakisSoftware And Its Engineering1 linkKaisa SereSoftware And Its Engineering2 linksKen RobinsonSoftware And Its EngineeringKim Guldstrand LarsenSoftware And Its Engineering1 linkLawrence PaulsonSoftware And Its Engineering1 linkLeonardo de MouraSoftware And Its Engineering1 linkManfred BroySoftware And Its EngineeringMarsha ChechikSoftware And Its Engineering1 linkMarta KwiatkowskaSoftware And Its Engineering1 linkMathai JosephSoftware And Its Engineering1 linkMatt KaufmannSoftware And Its Engineering1 linkMichael ButlerSoftware And Its EngineeringMoshe VardiSoftware And Its Engineering1 linkParitosh PandyaSoftware And Its Engineering2 linksPatrick CousotSoftware And Its Engineering1 linkPer Martin-LofSoftware And Its EngineeringPeter O'HearnSoftware And Its Engineering3 linksPhilippa GardnerSoftware And Its Engineering1 linkRadhia CousotSoftware And Its Engineering1 linkRajeev AlurSoftware And Its Engineering1 linkShowing 1 to 50 of 64, page 1 of 2.12Next →Sources1. 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 SourceMathai Joseph - WikipediaHas Member: Mathai Joseph, Wikipedia 'Mathai Joseph': 'main research interest is in the area of formal methods related to computer systems...work with Zhiming Liu on fault tolerance gives a formal model.'View the SourceLeonardo de Moura (Wikipedia)Has Member: Leonardo de Moura, Lead paragraphQuote, Has Member: Leonardo de Moura, Lead paragraphLeonardo de Moura is a Brazilian computer scientist, creator of the Lean proof assistant and co-creator of the Z3 Theorem Prover during his time at Microsoft Research.View the SourceCarolyn Talcott (Wikipedia)Has Member: Carolyn Talcott, Lead sentence [in-group]Quote, Has Member: Carolyn Talcott, Lead sentence [in-group]known for work in formal reasoning, especially as it relates to computers, cryptanalysis and systems biologyView the SourceJeannette Wing (Wikipedia)Has Member: Jeannette Wing, Career and researchQuote, Has Member: Jeannette Wing, Career and researchWing has been a leading member of the formal methods community, especially in the area of Larch.View the SourceUrsula Martin (Wikipedia)Has Member: Ursula Martin, LeadQuote, Has Member: Ursula Martin, Leadwith research interests in theoretical computer science and formal methodsView the SourceKaisa Sere (Wikipedia)Has Member: Kaisa Sere, Biography, program refinementQuote, Has Member: Kaisa Sere, Biography, program refinementShe undertook formal methods research in action systems, distributed systems, hardware design, neural networks, and program refinement.View the SourceSusan Gerhart (Wikipedia)Has Member: Susan Gerhart, Teaching, formal methods surveyQuote, Has Member: Susan Gerhart, Teaching, formal methods surveyAn International Survey of Industrial Applications of Formal MethodsView 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.