This 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.
Facts
Comparison
Era of Emergence Browse By
Formal Methods and Verification
Filter Results64 entries
Showing 51 to 64 of 64, page 2 of 2.
Sources
1. Wikipedia: Formal methods
Wikimedia FoundationFormal methods, History section, Turing correctness-argument sentenceQuote, Formal methods, History section, Turing correctness-argument sentence
Alan 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.
Mathai Joseph - Wikipedia
Has 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 Source Leonardo de Moura (Wikipedia)
Has Member: Leonardo de Moura, Lead paragraphQuote, Has Member: Leonardo de Moura, Lead paragraph
Leonardo 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.
Carolyn 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 biology
Jeannette Wing (Wikipedia)
Has Member: Jeannette Wing, Career and researchQuote, Has Member: Jeannette Wing, Career and research
Wing has been a leading member of the formal methods community, especially in the area of Larch.
Ursula Martin (Wikipedia)
Has Member: Ursula Martin, LeadQuote, Has Member: Ursula Martin, Lead
with research interests in theoretical computer science and formal methods
Kaisa Sere (Wikipedia)
Has Member: Kaisa Sere, Biography, program refinementQuote, Has Member: Kaisa Sere, Biography, program refinement
She undertook formal methods research in action systems, distributed systems, hardware design, neural networks, and program refinement.
Susan Gerhart (Wikipedia)
Has Member: Susan Gerhart, Teaching, formal methods surveyQuote, Has Member: Susan Gerhart, Teaching, formal methods survey
An International Survey of Industrial Applications of Formal Methods
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.