Find link

language:

Find link is a tool written by Edward Betts.

Longer titles found: International Conference on Software Engineering and Formal Methods (view), Formal Methods Europe (view), Informal methods of validation and verification (view)

searching for Formal methods 214 found (743 total)

alternate case: formal methods

Carl Hewitt (1,588 words) [view diff] no match in snippet view article find links to article

Carl Eddie Hewitt (/ˈhjuːɪt/; 1944 – 7 December 2022) was an American computer scientist who designed the Planner programming language for automated planning

Donald Angus MacKenzie (384 words) [view diff] no match in snippet view article find links to article

Donald Angus MacKenzie FBA FRSE FAcSS (born 3 May 1950) is a Professor of Sociology at the University of Edinburgh, Scotland. His work constitutes a crucial

E. Allen Emerson (557 words) [view diff] no match in snippet view article find links to article

Ernest Allen Emerson II (born June 2, 1954), better known as E. Allen Emerson, is an American computer scientist and winner of the 2007 Turing Award. He

Amir Pnueli (441 words) [view diff] no match in snippet view article find links to article

Amir Pnueli (Hebrew: אמיר פנואלי; April 22, 1941 – November 2, 2009) was an Israeli computer scientist and the 1996 Turing Award recipient. Pnueli was

John C. Reynolds (606 words) [view diff] no match in snippet view article find links to article

John Charles Reynolds (June 1, 1935 – April 28, 2013) was an American computer scientist. John Reynolds studied at Purdue University and then earned a

Correctness (computer science) (660 words) [view diff] no match in snippet view article

In theoretical computer science, an algorithm is correct with respect to a specification if it behaves as specified. Best explored is functional correctness

Leslie Lamport (1,534 words) [view diff] no match in snippet view article find links to article

Leslie B. Lamport (born February 7, 1941) is an American computer scientist and mathematician. Lamport is best known for his seminal work in distributed

Adriaan van Wijngaarden (717 words) [view diff] no match in snippet view article find links to article

Adriaan "Aad" van Wijngaarden (2 November 1916 – 7 February 1987) was a Dutch mathematician and computer scientist. Trained as a mechanical engineer, Van

John McCarthy (computer scientist) (3,186 words) [view diff] no match in snippet view article

John McCarthy (September 4, 1927 – October 24, 2011) was an American computer scientist and cognitive scientist. He was one of the founders of the discipline

Edmund M. Clarke (768 words) [view diff] no match in snippet view article find links to article

Edmund Melson Clarke, Jr. (July 27, 1945 – December 22, 2020) was an American computer scientist and academic noted for developing model checking, a method

Dana Scott (1,327 words) [view diff] no match in snippet view article find links to article

Dana Stewart Scott (born October 11, 1932) is an American logician who is the emeritus Hillman University Professor of Computer Science, Philosophy, and

Robert W. Floyd (1,166 words) [view diff] no match in snippet view article find links to article

Robert W Floyd (June 8, 1936 – September 25, 2001) was a computer scientist. His contributions include the design of the Floyd–Warshall algorithm (independently

Robin Milner (915 words) [view diff] no match in snippet view article find links to article

Arthur John Robin Gorell Milner FRS (13 January 1934 – 20 March 2010) was a British computer scientist, and a Turing Award winner. Milner was born in Yealmpton

Moshe Vardi (1,188 words) [view diff] no match in snippet view article find links to article

Moshe Ya'akov Vardi (Hebrew: משה יעקב ורדי) MAE ForMemRS is an Israeli mathematician and computer scientist. He is the Karen Ostrum George Distinguished

Tom Maibaum (294 words) [view diff] no match in snippet view article find links to article

Thomas Stephen Edward Maibaum Fellow of the Royal Society of Arts (FRSA) is a computer scientist. Maibaum has a Bachelor of Science (B.Sc.) undergraduate

David Harel (626 words) [view diff] no match in snippet view article find links to article

David Harel (Hebrew: דוד הראל; born 12 April 1950) is a computer scientist, currently serving as President of the Israel Academy of Sciences and Humanities

Michael J. C. Gordon (573 words) [view diff] exact match in snippet view article find links to article

2017. Bowen, Jonathan P. (June 2020). "In Memoriam: A tribute to five formal methods colleagues" (PDF). FACS FACTS. 2020 (1). BCS-FACS: 13–29. doi:10.13140/RG

Richard Bird (computer scientist) (342 words) [view diff] no match in snippet view article

Richard Simpson Bird (4 February 1943 – 4 April 2022) was an English computer scientist. He was a Supernumerary Fellow of Computation at Lincoln College

Harlan Mills (1,054 words) [view diff] no match in snippet view article find links to article

Harlan D. Mills (May 14, 1919 – January 8, 1996) was Professor of Computer Science at the Florida Institute of Technology and founder of Software Engineering

Marta Kwiatkowska (1,306 words) [view diff] case mismatch in snippet view article find links to article

Kwiatkowska serves on the editorial boards of Information and Computation, Formal Methods in System Design, Logical Methods in Computer Science, Science of Computer

Gordon Plotkin (789 words) [view diff] no match in snippet view article find links to article

Gordon David Plotkin, FRS FRSE MAE (born 9 September 1946) is a theoretical computer scientist in the School of Informatics at the University of Edinburgh

Klaus Samelson (1,159 words) [view diff] no match in snippet view article find links to article

Klaus Samelson (21 December 1918 – 25 May 1980) was a German mathematician, physicist, and computer pioneer in the area of programming language translation

Journal of Logic and Computation (45 words) [view diff] no match in snippet view article find links to article

The Journal of Logic and Computation is a peer-reviewed academic journal focused on logic and computing. It was established in 1990 and is published by

Solver (531 words) [view diff] no match in snippet view article find links to article

A solver is a piece of mathematical software, possibly in the form of a stand-alone computer program or as a software library, that 'solves' a mathematical

Peter Landin (1,456 words) [view diff] no match in snippet view article find links to article

Peter John Landin (5 June 1930 – 3 June 2009) was a British computer scientist. He was one of the first to realise that the lambda calculus could be used

Gerard J. Holzmann (487 words) [view diff] no match in snippet view article find links to article

Gerard J. Holzmann (born 1951) is a Dutch-American computer scientist and researcher at Bell Labs and NASA, best known as the developer of the SPIN model

Acta Informatica (118 words) [view diff] no match in snippet view article find links to article

Acta Informatica is a peer-reviewed scientific journal, publishing original research papers in computer science. The journal is mainly known for publications

David May (computer scientist) (574 words) [view diff] no match in snippet view article

Michael David May FRS FREng (born 24 February 1951) is a British computer scientist. He is a Professor in the Department of Computer Science at the University

Journal of Automated Reasoning (133 words) [view diff] no match in snippet view article find links to article

The Journal of Automated Reasoning was established in 1983 by Larry Wos, who was its editor in chief until 1992. It covers research and advances in automated

Logical Methods in Computer Science (271 words) [view diff] no match in snippet view article find links to article

Logical Methods in Computer Science (LMCS) is a peer-reviewed open access scientific journal covering theoretical computer science and applied logic. It

Robert Kowalski (1,116 words) [view diff] no match in snippet view article find links to article

Robert Anthony Kowalski (born 15 May 1941) is an American-British logician and computer scientist, whose research is concerned with developing both human-oriented

Catholic youth work (1,628 words) [view diff] exact match in snippet view article find links to article

evolved much over recent decades, especially in comparison to more formal methods of education or catechesis within the church. Nearly all dioceses and

Samson Abramsky (1,069 words) [view diff] no match in snippet view article find links to article

Samson Abramsky FRS FRSE (born 12 March 1953) is Professor of Computer Science at University College London. He was previously the Christopher Strachey

Samson Abramsky (1,069 words) [view diff] no match in snippet view article find links to article

Samson Abramsky FRS FRSE (born 12 March 1953) is Professor of Computer Science at University College London. He was previously the Christopher Strachey

Reification (computer science) (2,198 words) [view diff] case mismatch in snippet view article

"Smalltalk Blocks And Closures". C2.com. 2009-10-15. Retrieved 2010-10-09. Formal Methods Europe, Frequently Asked Questions, part 13 Archived 2005-03-12 at the

Knowledge management (6,782 words) [view diff] exact match in snippet view article find links to article

includes contracts and trade-secrets. These semi-formal methods are also usually placed under formal methods. Organizations often use a combination of formal

Robert S. Boyer (225 words) [view diff] no match in snippet view article find links to article

Robert Stephen Boyer is an American retired professor of computer science, mathematics, and philosophy at The University of Texas at Austin. He and J Strother

Gunther Schmidt (1,082 words) [view diff] no match in snippet view article find links to article

Gunther Schmidt (born 1939, Rüdersdorf) is a German mathematician who works also in informatics. Schmidt began studying Mathematics in 1957 at Göttingen

Frama-C (681 words) [view diff] no match in snippet view article find links to article

Frama-C stands for Framework for Modular Analysis of C programs. Frama-C is a set of interoperable program analyzers for C programs. Frama-C has been developed

Alloy (specification language) (695 words) [view diff] exact match in snippet view article

Analyzer was specifically developed to support so-called "lightweight formal methods". As such, it is intended to provide fully automated analysis, in contrast

Greg Nelson (computer scientist) (354 words) [view diff] no match in snippet view article

Charles Gregory Nelson (27 March 1953 – 2 February 2015) was an American computer scientist. Nelson grew up in Honolulu. As a boy he excelled at gymnastics

Bill Roscoe (259 words) [view diff] no match in snippet view article find links to article

Andrew William Roscoe is a Scottish computer scientist. He was Head of the Department of Computer Science, University of Oxford from 2003 to 2014, and

John Alan Robinson (801 words) [view diff] no match in snippet view article find links to article

John Alan Robinson (9 March 1930 – 5 August 2016) was a philosopher, mathematician, and computer scientist. He was a professor emeritus at Syracuse University

Gérard Huet (1,112 words) [view diff] no match in snippet view article find links to article

Gérard Pierre Huet (French: [y.ɛ]; born 7 July 1947) is a French computer scientist, linguist and mathematician. He is senior research director at INRIA

Zhou Chaochen (366 words) [view diff] case mismatch in snippet view article find links to article

Macau, 1997. Jones, Cliff B., Liu, Zhiming, and Woodcock, Jim (eds.), Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and

Christopher Strachey (2,691 words) [view diff] no match in snippet view article find links to article

Christopher S. Strachey (/ˈstreɪtʃi/; 16 November 1916 – 18 May 1975) was a British computer scientist. He was one of the founders of denotational semantics

Philip Wadler (1,036 words) [view diff] no match in snippet view article find links to article

Philip Lee Wadler (born April 8, 1956) FRS FRSE is a UK-based American computer scientist known for his contributions to programming language design and

Jane Hillston (769 words) [view diff] no match in snippet view article find links to article

Jane Elizabeth Hillston MBE FRS FRSE (born 1963) is a British computer scientist who is professor of quantitative modelling and former head of school in

Formal epistemology (1,403 words) [view diff] exact match in snippet view article find links to article

Formal epistemology uses formal methods from decision theory, logic, probability theory and computability theory to model and reason about issues of epistemological

Rod Burstall (424 words) [view diff] no match in snippet view article find links to article

Rodney Martineau "Rod" Burstall (born 1934) Fellow of the Royal Society of Edinburgh (FRSE) is a British computer scientist and one of four founders of

Krzysztof R. Apt (1,004 words) [view diff] no match in snippet view article find links to article

Krzysztof R. Apt (born 26 December 1949 in Katowice, Poland) is a Polish computer scientist. He defended his PhD in mathematical logic in Warsaw, Poland

Michael W. Shields (624 words) [view diff] no match in snippet view article find links to article

Michael ("Mike") William Shields, (1950-01-20)January 20, 1950 - September 24, 2023(2023-09-24) (aged 73)[citation needed] was a British computer scientist

ESC/Java (895 words) [view diff] case mismatch in snippet view article find links to article

M. (2001). Houdini, an Annotation Assistant for ESC/Java. FME 2001: Formal Methods for Increasing Software Productivity. pp. 500–517. doi:10.1007/3-540-45251-6_29

Carl Adam Petri (1,006 words) [view diff] no match in snippet view article find links to article

Carl Adam Petri (12 July 1926 in Leipzig – 2 July 2010 in Siegburg) was a German mathematician and computer scientist. Petri created his major scientific

Chris Tofts (230 words) [view diff] no match in snippet view article find links to article

Chris M. N. Tofts (born 1964) is an English computer scientist. Chris Tofts studied mathematics as an undergraduate at Clare College, Cambridge, followed

J Strother Moore (457 words) [view diff] no match in snippet view article find links to article

J Strother Moore (his first name is the alphabetic character "J" – not an abbreviated "J.") is an American computer scientist. He is a co-developer of

United Nations University Institute in Macau (1,421 words) [view diff] no match in snippet view article find links to article

The United Nations University Institute in Macau, formerly the United Nations University International Institute for Software Technology (UNU-IIST; Chinese:

Jawed Siddiqi (482 words) [view diff] case mismatch in snippet view article find links to article

a member of the IEEE, and a member of the ACM. He is a co-editor of Formal Methods: State of the Art and New Directions. Siddiqi has for three decades

Richard Bornat (520 words) [view diff] no match in snippet view article find links to article

Richard Bornat (born 1944), is a British author and researcher in the field of computer science. He is also professor of Computer programming at Middlesex

Manfred Broy (590 words) [view diff] case mismatch in snippet view article find links to article

via Kindle. Broy, Manfred; Bjørner, Dines; Pottosin, Igor V. (1993). Formal Methods in Programming and their Applications: International Conference Proceedings

Michael Fourman (634 words) [view diff] no match in snippet view article find links to article

Michael Paul Fourman FBCS FRSE (born 12 September 1950) is Professor of Computer Systems at the University of Edinburgh in Scotland, UK, and was Head of

Matt Kaufmann (87 words) [view diff] no match in snippet view article find links to article

Matt Kaufmann is a senior research scientist in the department of computer sciences at the University of Texas at Austin, United States. He was a recipient

Michael Fourman (634 words) [view diff] no match in snippet view article find links to article

Michael Paul Fourman FBCS FRSE (born 12 September 1950) is Professor of Computer Systems at the University of Edinburgh in Scotland, UK, and was Head of

KeY (1,445 words) [view diff] exact match in snippet view article find links to article

Hoare calculus, this implementation is essentially meant to exemplify formal methods in undergraduate classes. KeYmaera [1] (previously called HyKeY) is

CPAchecker (389 words) [view diff] no match in snippet view article find links to article

CPAchecker is a framework and tool for formal software verification, and program analysis, of C programs. Some of its ideas and concepts, for example lazy

Charles Leonard Hamblin (2,189 words) [view diff] no match in snippet view article find links to article

Charles Leonard Hamblin (20 November 1922 – 14 May 1985) was an Australian philosopher, logician, and computer pioneer, as well as a professor of philosophy

List of model checking tools (1,176 words) [view diff] no match in snippet view article find links to article

This article lists model checking tools and gives an overview of the functionality of each. The following table includes model checkers that have a web

Yuri Gurevich (843 words) [view diff] no match in snippet view article find links to article

Yuri Gurevich, Professor Emeritus at the University of Michigan, is an American computer scientist and mathematician and the inventor of abstract state

Unifying Theories of Programming (853 words) [view diff] case mismatch in snippet view article find links to article

introduction to designs in Unifying Theories of Programming" (PDF). Integrated Formal Methods. Lecture Notes in Computer Science, pages. Vol. 2999. Springer. pp. 40–66

Positive political theory (503 words) [view diff] exact match in snippet view article find links to article

explanatory political theory, or formal theory is the study of politics using formal methods such as social choice theory, game theory, and statistical analysis

Matthew Hennessy (358 words) [view diff] no match in snippet view article find links to article

Matthew Hennessy is an Irish computer scientist who has contributed especially to concurrency, process calculi and programming language semantics. During

Fred B. Schneider (714 words) [view diff] no match in snippet view article find links to article

Fred Barry Schneider (born December 7, 1953) is an American computer scientist, based at Cornell University, where he is the Samuel B. Eckert Professor

Michael Spivey (228 words) [view diff] no match in snippet view article find links to article

Michael Spivey (commonly known as Mike Spivey) is a British computer scientist at the University of Oxford. Spivey was born in 1960 and educated at Archbishop

Michael Genesereth (1,577 words) [view diff] no match in snippet view article find links to article

Michael Genesereth (born 1948) is an American logician and computer scientist, who is most known for his work on computational logic and applications of

Ralph-Johan Back (147 words) [view diff] no match in snippet view article find links to article

Ralph-Johan Back is a Finnish computer scientist. Back originated the refinement calculus, an important approach to the formal development of programs

Joe Stoy (207 words) [view diff] no match in snippet view article find links to article

Joseph E. Stoy is a British computer scientist. He initially studied physics at Oxford University. Early in his career, in the 1970s, he worked on denotational

Faron Moller (416 words) [view diff] no match in snippet view article find links to article

Faron George Moller (born February 25, 1962, in Trail, British Columbia) is a Canadian-born British computer scientist and expert on theoretical computer

Infer Static Analyzer (780 words) [view diff] case mismatch in snippet view article find links to article

An Automatic Program Verifier for Memory Safety of C Programs". NASA Formal Methods. Lecture Notes in Computer Science. Vol. 6617. Springer, Berlin, Heidelberg

Fastest (1,087 words) [view diff] case mismatch in snippet view article find links to article

Applying the Stocks-Carrington Framework for Model-Based Testing". Formal Methods and Software Engineering, 11th International Conference on Formal Engineering

Faron Moller (416 words) [view diff] no match in snippet view article find links to article

Faron George Moller (born February 25, 1962, in Trail, British Columbia) is a Canadian-born British computer scientist and expert on theoretical computer

Peter Mosses (184 words) [view diff] no match in snippet view article find links to article

Peter David Mosses (born 1948) is a British computer scientist. Peter Mosses studied mathematics as an undergraduate at Trinity College, Oxford, and went

Rudolf Berghammer (585 words) [view diff] case mismatch in snippet view article find links to article

Rudolf Berghammer is known for his work in relational mathematics, or Formal Methods of Programming, Semantics, Relational Methods in Computer Science. He

G. Mike Reed (180 words) [view diff] no match in snippet view article find links to article

George Michael ("Mike") Reed is an American computer scientist. He has contributed to theoretical computer science in general and CSP in particular. Mike

British Colloquium for Theoretical Computer Science (1,124 words) [view diff] exact match in snippet view article find links to article

theoretical computer science, including algorithms, complexity, semantics, formal methods, concurrency, types, languages and logics. An emphasis on breadth, together

Rodin tool (816 words) [view diff] case mismatch in snippet view article find links to article

The Rodin formal modelling tool (PDF). FACS 2007 Christmas Workshop: Formal Methods in Industry. pp. 1–5.{{cite conference}}: CS1 maint: multiple names:

Sophia Drossopoulou (346 words) [view diff] exact match in snippet view article find links to article

Karlsruhe Institute of Technology. Her research interests are mainly in formal methods for programming languages; her work is notable for a proof of the soundness

Robert Shostak (1,854 words) [view diff] no match in snippet view article find links to article

Robert Eliot Shostak (born July 26, 1948, in Arlington, Virginia) is an American computer scientist and Silicon Valley entrepreneur. He is most noted academically

Alt-Ergo (419 words) [view diff] no match in snippet view article find links to article

Alt-Ergo, an automatic solver for mathematical formulas, is mainly used in formal program verification. It operates on the principle of satisfiability

David L. Dill (1,191 words) [view diff] case mismatch in snippet view article find links to article

Checking for Combinations of Theories with Equality. In Proceedings of Formal Methods in Computer-Aided Design (FMCAD '96), 187-201. Stump, Aaron; Barrett

Fluctuat (327 words) [view diff] case mismatch in snippet view article find links to article

Safety-Critical Avionics Software". Proceedings of 14th International Workshop on Formal Methods for Industrial Critical Systems FMICS'09. LNCS. Vol. 5825. pp. 53–69

Juan Pavón (3,083 words) [view diff] no match in snippet view article find links to article

Juan Pavón (born 19 November 1962) is a Spanish computer scientist, full professor of the Complutense University of Madrid (UCM). He is a pioneer researcher

Eike Best (471 words) [view diff] no match in snippet view article find links to article

Eike Best (born 13 March 1951) is a German computer scientist, best known for his contributions to concurrency theory. Eike Best was born in Neustadt an

Sylvie Boldo (355 words) [view diff] case mismatch in snippet view article find links to article

Research in Computer Science and Automation (INRIA), affiliated with the Formal Methods Laboratory at Paris-Saclay University and the INRIA Saclay-Île-de-France

Ernst-Rüdiger Olderog (586 words) [view diff] no match in snippet view article find links to article

Ernst-Rüdiger Olderog (born 4 June 1955) is a German computer scientist. He is a full professor at the University of Oldenburg in Oldenburg, northern Germany

CPN-AMI (200 words) [view diff] no match in snippet view article find links to article

CPN-AMI is a computer-aided software engineering environment based on Petri Net specifications. It provides the ability to specify the behavior of a distributed

Mihaela Sighireanu (237 words) [view diff] case mismatch in snippet view article find links to article

works as a professor at Paris-Saclay University and as a member of the Formal Methods Lab run jointly by Paris-Saclay University, CNRS, and the École normale

MALPAS Software Static Analysis Toolset (988 words) [view diff] no match in snippet view article find links to article

MALPAS is a software toolset that provides a means of investigating and proving the correctness of software by applying a rigorous form of static program

International Conference on Software Reuse (226 words) [view diff] exact match in snippet view article find links to article

issues, current issues in reuse libraries, distributed components, formal methods, design and validation of components, domain analysis and engineering

Javier Esparza (798 words) [view diff] no match in snippet view article find links to article

Francisco Javier Esparza Estaun (born 27 April 1964 in Pamplona, Spain) is a Spanish computer scientist. He is a professor at the Technical University

Patricia Bouyer-Decitre (470 words) [view diff] case mismatch in snippet view article find links to article

Research (CNRS), and director of the Laboratoire Méthodes Formelles (Formal Methods Lab) of CNRS and the École normale supérieure Paris-Saclay. Patricia

Institute for Applied Information Processing and Communications (182 words) [view diff] exact match in snippet view article find links to article

Design and analysis of hash and block cipher primitives Network security Formal methods in verification and design IAIK Homepage. "New head of IAIK". Retrieved

History of quantum mechanics (9,558 words) [view diff] no match in snippet view article find links to article

The history of quantum mechanics is a fundamental part of the history of modern physics. The major chapters of this history begin with the emergence of

Luigi Logrippo (840 words) [view diff] exact match in snippet view article find links to article

at the University Of Ottawa. Currently luigi participates in LARSI. Formal methods in security, privacy and governance including: Formal specification

CoreASM (389 words) [view diff] no match in snippet view article find links to article

CoreASM is an open source project (licensed under Academic Free License version 3.0) that focuses on the design of a lean executable ASM (Abstract State

Actor model (7,146 words) [view diff] case mismatch in snippet view article find links to article

Gaspari; Gianluigi Zavattaro (May 1997). "An Algebra of Actors" (PDF). Formal Methods for Open Object-Based Distributed Systems. Technical Report UBLCS-97-4

Joseph Sifakis (1,104 words) [view diff] exact match in snippet view article find links to article

(2014–2016). Sifakis worked on system verification and the application of formal methods to system design. In his state doctorate he studied the principles of

Istituto di Scienza e Tecnologie dell'Informazione (515 words) [view diff] case mismatch in snippet view article find links to article

laboratories: Networking Wireless Networks Laboratory (WN) Software Formal Methods and Tools Laboratory (FMT) Software Engineering and Dependable Computing

Marieke Huisman (470 words) [view diff] case mismatch in snippet view article find links to article

Software Reliability at the University of Twente, where she leads the Formal Methods and Tools Group. Huisman graduated from Utrecht University in 1996.

Nervos Network (614 words) [view diff] case mismatch in snippet view article find links to article

and Verification of the CKB Block Synchronization Protocol in Coq". Formal Methods and Software Engineering: 22nd International Conference on Formal Engineering

Catherine Meadows (277 words) [view diff] case mismatch in snippet view article find links to article

Systems at the Naval Research Laboratory and the head of the laboratory's Formal Methods Section. Meadows is a 1975 graduate of the University of Chicago. She

Constance Heitmeyer (56 words) [view diff] exact match in snippet view article find links to article

Electrical and Electronics Engineers (IEEE) in 2015 for "contributions to formal methods for modeling and analyzing software and systems". "2015 elevated fellow"

Nat Bhairav (438 words) [view diff] exact match in snippet view article find links to article

music is fraught with complications. Firstly, there have been no set, formal methods of written notation. Secondly, Hindustani music is an aural tradition

Disjoint sets (1,284 words) [view diff] case mismatch in snippet view article find links to article

Monin, Jean François; Hinchey, Michael Gerard (2003), Understanding Formal Methods, Springer, p. 21, ISBN 9781852332471. Lee, John M. (2010), Introduction

Scientific workflow system (1,542 words) [view diff] exact match in snippet view article find links to article

issues requires building on formal methods used in computer science research (e.g. Petri nets) and building on these formal methods to develop user-level tools

Youth ministry (682 words) [view diff] exact match in snippet view article find links to article

evolved much over recent decades, especially in comparison to more formal methods of education or catechesis within the church. Nearly all dioceses and

Bahar (raga) (432 words) [view diff] exact match in snippet view article

complex and intricate nature. First of all, there have been no set, formal methods of written notation. Indian music is an aural tradition, and therefore

Specification language (484 words) [view diff] exact match in snippet view article find links to article

doi:10.1007/3-540-48958-4_1. ISBN 978-3-540-65765-1. "Easiest-ever formal methods language for developers crafting distributed systems, microservices

Pamela Zave (866 words) [view diff] exact match in snippet view article find links to article

Mills Award from the IEEE Computer Society "for groundbreaking use of formal methods in the development of telecommunication software and for enduring contributions

Decision analysis (3,219 words) [view diff] exact match in snippet view article find links to article

that would be recommended by decision analysis. Some have criticized formal methods of decision analysis for allowing decision makers to avoid taking responsibility

ACL2 (474 words) [view diff] exact match in snippet view article find links to article

pioneering and engineering a most effective theorem prover (...) as a formal methods tool for verifying safety-critical hardware and software." ACL2 has

Appeal to nature (1,334 words) [view diff] exact match in snippet view article find links to article

natural language, but research in informal logic sometimes employs formal methods and it remains an open question whether the accounts of argument in

Víctor A. Carreño (426 words) [view diff] exact match in snippet view article find links to article

SFMTS, U.S. Patent # 4,631,538. In 1990, Carreño was assigned to the formal methods team, Assessment Technology Branch. This team worked on the development

Value measuring methodology (1,216 words) [view diff] exact match in snippet view article find links to article

intangible values when making investment decisions, and monitor benefits. Formal methods to calculate the Return on investment (ROI) have been widely understood

Sanctum (company) (453 words) [view diff] exact match in snippet view article

has done an extensive research in application security and applying formal methods to real life software in collaboration with Turing Award winner Professor

Thomas Fararo (611 words) [view diff] exact match in snippet view article find links to article

originator and an explicator of ideas and methods relating to the use of formal methods in sociological theory. In his original work, he has employed theories

Orc (programming language) (483 words) [view diff] case mismatch in snippet view article

Model for the Orchestration of Web Services. Software Engineering and Formal Methods. Beijing, China: IEEE. pp. 2–11. doi:10.1109/SEFM.2004.1347498. ISBN 0-7695-2222-X

Algorand (1,434 words) [view diff] case mismatch in snippet view article find links to article

"Towards a Verified Model of the Algorand Consensus Protocol in Coq". Formal Methods. FM 2019 International Workshops. Lecture Notes in Computer Science

Attempto Controlled English (2,394 words) [view diff] exact match in snippet view article find links to article

is intended for professionals who want to use formal notations and formal methods, but may not be familiar with them. Though ACE appears perfectly natural—it

ProVerif (1,382 words) [view diff] case mismatch in snippet view article find links to article

Reference Implementations of WS-Security Protocols". Web Services and Formal Methods. Lecture Notes in Computer Science. Vol. 4184. Springer, Berlin, Heidelberg

Monadic second-order logic (1,308 words) [view diff] case mismatch in snippet view article find links to article

(1998-11-01). "Automata based symbolic reasoning in hardware verification". Formal Methods in System Design. 13 (3): 255–288. doi:10.1023/A:1008644009416. ISSN 0925-9856

Advanced Programming Specialist Group (302 words) [view diff] case mismatch in snippet view article find links to article

January 2013, with Formal Aspects SG (BCS-FACS), Industrial Uses of Formal Methods May 2010, with Fortran SG, Parallel Programming in Fortran with Coarrays

John W. Mohr (557 words) [view diff] exact match in snippet view article find links to article

social network analysis. His focus was on "developing applications of formal methods of relational (network) analysis to the study of discourse in institutional

AMD K5 (852 words) [view diff] case mismatch in snippet view article find links to article

of Correctness of the AMD K5 Floating Point Square Root Microcode". Formal Methods in System Design. 14 (1). Hingham, MA, USA: Kluwer Academic Publishers:

Layered queueing network (323 words) [view diff] case mismatch in snippet view article find links to article

Systems with Layered Queueing Networks" (PDF). Leveraging Applications of Formal Methods, Verification, and Validation. LNCS. Vol. 6416. p. 51. doi:10

C Bounded Model Checker (736 words) [view diff] no match in snippet view article find links to article

In the context of computer science, the C Bounded Model Checker (CBMC) is a bounded model checker for C programs. It was the first such tool. CBMC has

Cache coherence (1,971 words) [view diff] case mismatch in snippet view article find links to article

Analysis of the ACE Specification for Cache Coherent Systems-on-Chip. In Formal Methods for Industrial Critical Systems. Springer Berlin Heidelberg. ISBN 978-3-642-41010-9

Techniques for Verification of Broadcast Information in Vehicular Ad hoc Networks (2,172 words) [view diff] no match in snippet view article find links to article

Vehicular Ad hoc Networks (VANETs) is a network protocol designed for traffic safety applications. As other computer network protocols, it is also subject

Petri net (7,229 words) [view diff] case mismatch in snippet view article find links to article

from Coloured Petri Nets: A Proof of Concept". Formal Methods for Industrial Critical Systems. Formal Methods for Industrial Critical Systems - 15th International

Behavioral strategy (2,982 words) [view diff] exact match in snippet view article find links to article

agent based modelling, in addition to conventional quantitative and formal methods are all acceptable. However, because of its heavy psychology-emphasis

Cumulativity (linguistics) (465 words) [view diff] exact match in snippet view article

1981. "Distributive, collective, and cumulative quantification". In Formal methods in the study of language, ed. T. Janssen and M. Stokhof, 483–512. Amsterdam:

Maarten van Emden (418 words) [view diff] no match in snippet view article find links to article

Maarten Herman van Emden (December 31, 1937 – January 4, 2023) was a Dutch-Canadian mathematician and computer scientist whose research in the foundations

Shripad Dabholkar (924 words) [view diff] exact match in snippet view article find links to article

educating farmers through demystification of science, adopting non-formal methods of knowledge communication. Dabholkar started his work in Tasgaon, a

Ofer Strichman (892 words) [view diff] exact match in snippet view article find links to article

Israel, under the supervision of Prof. Amir Pnueli. He specialized in formal methods and computational logic, and specifically in translation validation

Signal transition graphs (3,719 words) [view diff] case mismatch in snippet view article find links to article

transition graph model for asynchronous control circuit synthesis". Formal Methods in System Design. 9 (3): 139–188. doi:10.1007/BF00122081. ISSN 0925-9856

John Fitzgerald (643 words) [view diff] case mismatch in snippet view article find links to article

(computer scientist) (born 1965), British computer scientist and Chair of Formal Methods Europe John Fitzgerald (center) (born 1948), former Dallas Cowboys center

Akhlaqur Rahman Kidwai (742 words) [view diff] case mismatch in snippet view article find links to article

New Education Policy, 1986 and Chairman of its Sub-Committee on Non-Formal Methods of Education. Member and Patron Delhi Public School Society (1968-continued)

Capital budgeting (1,777 words) [view diff] exact match in snippet view article find links to article

allocated to ongoing expenses and revenue, see operating budget. Many formal methods are used in capital budgeting, including the techniques such as Accounting

Bird–Meertens formalism (1,373 words) [view diff] case mismatch in snippet view article find links to article

A History of the Bird-Meertens Formalism (PDF). Formal Methods (Workshop on History of Formal Methods). LNCS. Vol. 12233. Springer. doi:10.1007/978-3-030-54997-8_2

British Logic Colloquium (894 words) [view diff] no match in snippet view article find links to article

The British Colloquium for Logic (BLC) is registered charity, founded in 1977, with an aim for promoting formal and mathematical logic, and subjects related

Scalable Coherent Interface (1,826 words) [view diff] exact match in snippet view article find links to article

[citation needed] Stein Gjessing’s group at the University of Oslo used formal methods to verify the coherence protocol and Dolphin Server Technology implemented

Calculus of communicating systems (785 words) [view diff] case mismatch in snippet view article find links to article

(May 2007). "Tackling Large State Spaces in Performance Modelling". Formal Methods for Performance Evaluation. Lecture Notes in Computer Science. Vol. 4486

Prover9 (550 words) [view diff] exact match in snippet view article find links to article

David A. Wheeler’s Personal Home Page. Retrieved 14 March 2016. Prover9 home page Prover9 – Mace4 – LADR forums Formal methods (square root of 2 example)

Symbolic artificial intelligence (10,776 words) [view diff] exact match in snippet view article find links to article

uncertainty and in knowledge acquisition. Uncertainty was addressed with formal methods such as hidden Markov models, Bayesian reasoning, and statistical relational

Susan Gerhart (532 words) [view diff] case mismatch in snippet view article find links to article

selection", "An International Survey of Industrial Applications of Formal Methods. Volume 2. Case Studies", and "Do Web search engines suppress controversy

Alternative hypothesis (1,053 words) [view diff] exact match in snippet view article find links to article

hypothesis are types of conjectures used in statistical tests, which are formal methods of reaching conclusions or making judgments on the basis of data. In

Semantic social network (456 words) [view diff] exact match in snippet view article find links to article

researchers at INRIA applied Semantic Social Network concepts and established formal methods for ontology matching. And in 2009 more researchers around the world

Pentium FDIV bug (2,419 words) [view diff] case mismatch in snippet view article find links to article

design". Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04. p. 152. doi:10.1109/MEMCOD

Statement (computer science) (1,856 words) [view diff] exact match in snippet view article

to describe the form of statements in different languages; the more formal methods tend to be more precise: Algol 60 used Backus–Naur form (BNF) which

Cliometrics (1,898 words) [view diff] exact match in snippet view article find links to article

Application of econometrics and other formal methods to the study of history

ISO 10303 (2,903 words) [view diff] exact match in snippet view article find links to article

it is possible to implement an AP. As APs got more and more complex formal methods were needed to document the ARM and so EXPRESS which was originally

Advanced Microcontroller Bus Architecture (1,311 words) [view diff] case mismatch in snippet view article find links to article

Analysis of the ACE Specification for Cache Coherent Systems-on-Chip. In Formal Methods for Industrial Critical Systems (pp. 108-122). Springer Berlin Heidelberg

Marvin Zelkowitz (1,063 words) [view diff] exact match in snippet view article find links to article

Programming with PLUM (1976) Software Specifications: A comparison of formal methods (1979) Programming Languages: Design and Implementation (Third Edition)

Dafny (1,443 words) [view diff] case mismatch in snippet view article find links to article

Software Competition: Experience Report. Proceedings of the Conference on Formal Methods. pp. 154–168. CiteSeerX 10.1.1.221.6890. doi:10.1007/978-3-642-21437-0_14

Evidence-based medicine (8,805 words) [view diff] exact match in snippet view article find links to article

commissioned by the Council of Medical Specialty Societies to teach formal methods for designing clinical practice guidelines. The manual was eventually

Alonzo Church (2,194 words) [view diff] case mismatch in snippet view article find links to article

Universal set Bowen, Jonathan P. (2019). "The Impact of Alan Turing: Formal Methods and Beyond". In Bowen, Jonathan P.; Liu, Zhiming; Zhang, Zili (eds.)

KM3 (140 words) [view diff] case mismatch in snippet view article find links to article

J (2006). In: Proceedings of 8th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems, LNCS 4037, Bologna, Italy

CDIS (computer-based system) (88 words) [view diff] exact match in snippet view article

January 2005. Retrieved 14 December 2014. Hall, A. (March 1996). "Using formal methods to develop an ATC information system". IEEE Software. 13 (2): 66–76

Capital University of Science & Technology (685 words) [view diff] case mismatch in snippet view article find links to article

domain of Software Dependability, with focus on Software Reliability, Formal Methods, Model Driven Architecture and Software Testing. American Society of

Michael E. Caspersen (1,688 words) [view diff] no match in snippet view article find links to article

Danish computer scientist Michael Edelgaard Caspersen (born in 1960 in Svenborg, Denmark) has spent his academic life furthering computer science education

Mariëlle Stoelinga (741 words) [view diff] case mismatch in snippet view article find links to article

She is full professor of Risk Management for High Tech Systems in the Formal Methods & Tools Group at the University of Twente, Enschede, the Netherlands

Engineering validation test (433 words) [view diff] case mismatch in snippet view article find links to article

ISBN 978-3-031-06050-2. Dong, Jin Song; Woodcock, Jim (2003-11-06). Formal Methods and Software Engineering: 5th International Conference on Formal Engineering

Safety case (1,263 words) [view diff] exact match in snippet view article find links to article

on some more modern architectures using modern development tools and formal methods. Some major programs in the US Department of Defense, such as the F-35[weasel words]

Soup kitchen (2,600 words) [view diff] exact match in snippet view article find links to article

worse for the poorest section of society, and the need arose for more formal methods for providing them with food. The earliest modern soup kitchens were

Culture of Kievan Rus' (1,401 words) [view diff] exact match in snippet view article find links to article

art differed in the depth of religious substance and virtuosity of formal methods. The principal achievement of Byzantine theology was the ecclesiastic

Frank van Harmelen (1,015 words) [view diff] exact match in snippet view article find links to article

"Protocure: Supporting the development of medical protocols through formal methods". Studies in Health Technology and Informatics. 101: 103–107. PMID 15537209

TNSDL (1,274 words) [view diff] case mismatch in snippet view article find links to article

Wing; Jim Woodcook; Jim Davies, eds. (1999). FM'99 - Formal Methods: World Congress on Formal Methods, 1999, Proceedings. Springer. ISBN 3540665870. Jyrinki

Hans-Jörg Kreowski (892 words) [view diff] exact match in snippet view article find links to article

such diverse topics as computer science and society, logistics, and formal methods in software and systems modeling. For many years he was the editor for

Hybrid system (1,549 words) [view diff] case mismatch in snippet view article find links to article

Safety verification of non-linear hybrid systems is quasi-decidable, Formal Methods in System Design, volume 44, pp. 71-90, 2014, doi:10.1007/s10703-013-0196-2

Unit cohesion (1,730 words) [view diff] exact match in snippet view article find links to article

hardships instilled by military discipline, the Chinese army relied on formal methods to assimilate recruits into their units. The assimilation process involved

Centrum Wiskunde & Informatica (1,386 words) [view diff] exact match in snippet view article find links to article

Edsger Dijkstra did most of his early influential work on algorithms and formal methods at CWI. The first Dutch computers, the Electrologica X1 and Electrologica

C-element (2,881 words) [view diff] case mismatch in snippet view article find links to article

"Checking combinational equivalence of speed-independent circuits," Formal Methods in System Design, vol. 13, no. 1, pp. 37-85, 1998. H. Park, A. He, M

Michael C. McFarland (572 words) [view diff] case mismatch in snippet view article find links to article

Transactions on Computer-Aided Design of Integrated Circuits and Systems, Formal Methods for System Design, the Journal of Systems and Software, Computer, and

Donkey sentence (2,393 words) [view diff] case mismatch in snippet view article find links to article

and Semantic Representation'. In J. Groenendijk and others (eds.). Formal Methods in the Study of Language. Amsterdam: Mathematics Center, 1981. Kitagawa

Timsort (2,356 words) [view diff] exact match in snippet view article find links to article

based on an updated worst-case analysis. The article also showed by formal methods how to establish the intended invariant by checking that the four topmost

Kermit (protocol) (1,990 words) [view diff] exact match in snippet view article

LISP. The correctness of the Kermit protocol has been verified with formal methods. In the late 1970s, users of Columbia University's mainframe computers

Susan B. Horwitz (925 words) [view diff] case mismatch in snippet view article find links to article

workshop and invited for submission to a special issue of the journal Formal Methods in System Design. Her paper "Demand interprocedural dataflow analysis"

Unit testing (3,838 words) [view diff] exact match in snippet view article find links to article

of errors, other techniques are required, namely the application of formal methods to prove that a software component has no unexpected behavior.[citation

Medical software (1,781 words) [view diff] case mismatch in snippet view article find links to article

PMID 8006924. Jones, P.; Jetley, R.; Abraham, J. (9 February 2010). "A Formal Methods-based verification approach to medical device software analysis". Embedded

Marlene Hazle (1,028 words) [view diff] case mismatch in snippet view article find links to article

Project and for assisting the author of The Application of Anna and Formal Methods as an Ada Program Design Language. Hazle is thanked for her early support

Actor model later history (1,443 words) [view diff] case mismatch in snippet view article find links to article

Science. 1998. - M. Gaspari and G. Zavattaro: An Algebra of Actors Formal Methods for Open Object Based Systems, 1999. N. Jamali, P. Thati, and G. Agha

NUST School of Electrical Engineering and Computer Science (680 words) [view diff] exact match in snippet view article find links to article

System Analysis and Verification Lab, SAVe, focuses research on using formal methods, which are based on mathematical techniques and, thus, unlike simulation

Len Sassaman (758 words) [view diff] exact match in snippet view article find links to article

privacy flaws in the OLPC Bitfrost security platform, and a proposal of formal methods of analysis of computer insecurity in February 2011. Meredith Patterson's

Stochastic probe (114 words) [view diff] case mismatch in snippet view article find links to article

"Functional Performance Specification with Stochastic Probes" (PDF). Formal Methods and Stochastic Models for Performance Evaluation. Lecture Notes in Computer

WSFM (191 words) [view diff] case mismatch in snippet view article find links to article

Follow-on Microwave, an environmental satellite program Web Services Formal Methods Western State Fire Managers Wisconsin State Firefighters Memorial World

Gezel (103 words) [view diff] case mismatch in snippet view article find links to article

Architectures". In Jones, Cliff B.; Woodcock, Jim; Liu, Zhiming (eds.). Formal Methods and Hybrid Real-Time Systems. Springer Berlin Heidelberg. pp. 300–319

Presentation–abstraction–control (715 words) [view diff] case mismatch in snippet view article find links to article

Bridging Two Worlds Using Ergonomics and Software Properties" (PDF). Formal Methods in Human-Computer Interaction. Springer-Verlag. chapter 3, pp. 49–73

Financial ratio (1,958 words) [view diff] exact match in snippet view article find links to article

company is considering to take, such as acquisitions, or expansion. Many formal methods are used in capital budgeting, including the techniques such as Net

Null hypothesis (5,319 words) [view diff] exact match in snippet view article find links to article

used in statistical tests to make statistical inferences, which are formal methods of reaching conclusions and separating scientific claims from statistical

Crowdsourcing software development (2,501 words) [view diff] exact match in snippet view article find links to article

discovered, composed, customized, simulated, and tested; 6) formal methods: formal methods can be crowdsourced. The crowdsourcing can be competitive or

Finite-state machine (4,540 words) [view diff] case mismatch in snippet view article find links to article

Tree automaton Turing machine UML state machine Wang, Jiacun (2019). Formal Methods in Computer Science. CRC Press. p. 34. ISBN 978-1-4987-7532-8. "Finite

Jacob Bernoulli (2,179 words) [view diff] exact match in snippet view article find links to article

numbers. Bernoulli was one of the most significant promoters of the formal methods of higher analysis. Astuteness and elegance are seldom found in his

PAT (model checker) (146 words) [view diff] case mismatch in snippet view article

with Process Counter Abstraction. FM '09 Proceedings of the 2nd World Congress on Formal Methods. doi:10.1007/978-3-642-05089-3_9 PAT Website PAT Forum

HOL (proof assistant) (725 words) [view diff] exact match in snippet view article

website Documents specifying HOL's basic logic HOL4 Description manual, includes system logic specification Virtual library formal methods information

Responsibility assignment matrix (2,458 words) [view diff] case mismatch in snippet view article find links to article

Retrieved 18 May 2023. Tiziana Margaria: Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging

International Conference on Formal Techniques for Networked and Distributed Systems (427 words) [view diff] exact match in snippet view article find links to article

above Contributions that combine theory and practice and that exploit formal methods and theoretical foundations to present novel solutions to problems arising

Runtime predictive analysis (1,481 words) [view diff] case mismatch in snippet view article find links to article

(2009). "Symbolic Predictive Analysis for Concurrent Programs". FM 2009: Formal Methods. Lecture Notes in Computer Science. Vol. 5850. pp. 256–272. doi:10

Kripke structure (model checking) (718 words) [view diff] exact match in snippet view article

ISBN 978-0-262-03270-4. Klaus Schneider (2004). Verification of reactive systems: formal methods and algorithms. Springer. p. 45. ISBN 978-3-540-00296-3. Christel Baier;

Automatic train operation (2,497 words) [view diff] case mismatch in snippet view article find links to article

Considerations for Autonomous Train Control". Leveraging Applications of Formal Methods, Verification and Validation. Practice. Lecture Notes in Computer Science

Powerset construction (1,500 words) [view diff] exact match in snippet view article find links to article

ISBN 0-201-02988-X. Schneider, Klaus (2004). Verification of reactive systems: formal methods and algorithms. Springer. pp. 210–212. ISBN 978-3-540-00296-3. Van Noord

John Graham-Cumming (647 words) [view diff] exact match in snippet view article find links to article

Doctor of Philosophy degree in Computer Science in 1992 for research on formal methods for secure computing systems supervised by Jeff W. Sanders. He was an

Zohar Manna (397 words) [view diff] exact match in snippet view article find links to article

Waldinger) to automated reasoning, program synthesis, planning, and formal methods″. He received the Bauer Prize from the Technical University of Munich

Mihalis Yannakakis (1,447 words) [view diff] case mismatch in snippet view article find links to article

Memory-efficient algorithms for the verification of temporal properties, Formal Methods in System Design, v.1 n.2-3, pp. 275–288, Oct. 1992. Costas Courcoubetis

Quantum state (6,048 words) [view diff] exact match in snippet view article find links to article

Historically definitions of quantum states used wavefunctions before the more formal methods were developed.: 268 The wave function is a complex-valued function

Robert C. Seacord (906 words) [view diff] exact match in snippet view article find links to article

creation and maintenance; user interfaces; software project management; formal methods; human factors; operating systems; and entrepreneurship.[citation needed]