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 207 found (769 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 planningE. Allen Emerson (600 words) [view diff] no match in snippet view article find links to article
Ernest Allen Emerson II (June 2, 1954 – October 15, 2024) was an American computer scientist and winner of the 2007 Turing Award. He was Professor andDonald MacKenzie (sociologist) (427 words) [view diff] no match in snippet view article
Donald Angus MacKenzie (born 3 May 1950) is a professor of sociology at the University of Edinburgh, Scotland. His work constitutes a crucial contributionAmir 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 wasRobert W. Floyd (1,171 words) [view diff] no match in snippet view article find links to article
Robert W. Floyd (born Robert Willoughby Floyd; June 8, 1936 – September 25, 2001) was an American computer scientist. His contributions include the designLeslie Lamport (1,616 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 distributedDana Scott (1,335 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, andCorrectness (computer science) (658 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 correctnessJohn C. Reynolds (614 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 aAdriaan 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, VanRobin Milner (920 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 YealmptonEdmund M. Clarke (822 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 methodGordon Plotkin (786 words) [view diff] no match in snippet view article find links to article
Gordon David Plotkin (born 9 September 1946) is a theoretical computer scientist in the School of Informatics at the University of Edinburgh. Plotkin isMoshe Vardi (1,205 words) [view diff] no match in snippet view article find links to article
Moshe Ya'akov Vardi (Hebrew: משה יעקב ורדי) MAE ForMemRS is an Israeli theoretical computer scientist. He is the Karen Ostrum George Distinguished ServiceJohn McCarthy (computer scientist) (3,206 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 disciplineDavid 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 HumanitiesMichael 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/RGRichard Bird (computer scientist) (346 words) [view diff] no match in snippet view article
Richard Simpson Bird (13 February 1943 – 4 April 2022) was an English computer scientist. He was a Supernumerary Fellow of Computation at Lincoln CollegeTom 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.) undergraduateHarlan Mills (1,024 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 EngineeringGerard J. Holzmann (496 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 modelKlaus 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 translationMarta Kwiatkowska (1,307 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 ComputerSolver (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 mathematicalPeter Landin (1,432 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 usedSamson Abramsky (1,187 words) [view diff] no match in snippet view article find links to article
Samson Abramsky (born 12 March 1953) is a British computer scientist who is a Professor of Computer Science at University College London. He was previouslyDavid May (computer scientist) (609 words) [view diff] no match in snippet view article
Michael David May (born 24 February 1951) is a British computer scientist working primarily in the fields of computer architecture, parallel computingActa Informatica (119 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 publicationsJournal 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 byJohn Alan Robinson (813 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 UniversityJournal 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 automatedKnowledge management (6,700 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 formalRobert Kowalski (1,484 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-orientedGunther Schmidt (1,094 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öttingenLogical 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. ItGérard Huet (1,136 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 INRIARobert S. Boyer (221 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 StrotherZhou 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 andReification (computer science) (2,270 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 theFormalism (philosophy of mathematics) (1,440 words) [view diff] exact match in snippet view article
program to establish the consistency of mathematics through purely formal methods. The early mathematical formalists attempted "to block, avoid, or sidestepPhilip Wadler (1,031 words) [view diff] no match in snippet view article find links to article
Philip Lee Wadler (born April 8, 1956) is a UK-based American computer scientist known for his contributions to programming language design and type theoryChristopher Strachey (2,667 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 semanticsBill Roscoe (277 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, andGreg 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 gymnasticsJohn Guttag (617 words) [view diff] no match in snippet view article find links to article
John Vogel Guttag (born March 6, 1949) is an American computer scientist, professor, and former head of the department of electrical engineering and computerCatholic youth work (1,667 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 andJane Hillston (774 words) [view diff] no match in snippet view article find links to article
Jane Elizabeth Hillston (born 1963) is a British computer scientist who is professor of quantitative modelling and former head of school in the SchoolAlloy (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 contrastFrama-C (771 words) [view diff] no match in snippet view article find links to article
Frama-C is a set of interoperable program analyzers for C programs. The name Frama-C stands for Framework for Modular Analysis of C programs. Frama-C hasRod Burstall (455 words) [view diff] no match in snippet view article find links to article
Rodney Martineau Burstall (11 November 1934 – 13 February 2025) was a British computer scientist who was one of four founders of the Laboratory for FoundationsKrzysztof 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, PolandFormal epistemology (1,355 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 epistemologicalCarl 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 scientificMichael W. Shields (632 words) [view diff] no match in snippet view article find links to article
Michael ("Mike") William Shields (20 January 1950 – 24 September 2023) was a British computer scientist. Mike Shields undertook research on concurrentJ 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 ofManfred 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 ProceedingsESC/Java (925 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. Lecture Notes in Computer ScienceMatthew Hennessy (359 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. DuringYuri Gurevich (836 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 stateRichard 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 MiddlesexMichael Fourman (632 words) [view diff] no match in snippet view article find links to article
Michael Paul Fourman (born 12 September 1950) is Professor of Computer Systems at the University of Edinburgh in Scotland, UK, and was Head of the SchoolJawed Siddiqi (491 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 decadesCharles Leonard Hamblin (2,192 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 philosophyUnited Nations University Institute in Macau (1,434 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: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 recipientChris Tofts (230 words) [view diff] no match in snippet view article find links to article
Chris M. N. Tofts (born 1964) was an English computer scientist. Chris Tofts studied mathematics as an undergraduate at Clare College, Cambridge, followedFred B. Schneider (713 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 ProfessorRalph-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 programsPeter 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 wentMichael Genesereth (1,658 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 ofCPAchecker (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 lazyList of model checking tools (1,199 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 webMichael 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 ArchbishopPositive 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 analysisUnifying 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–66Rudolf 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. HeJoe Stoy (246 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 denotationalKeY (1,888 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) isFaron Moller (445 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 computerFastest (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 EngineeringInfer 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, HeidelbergSophia Drossopoulou (377 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 soundnessBritish Colloquium for Theoretical Computer Science (1,151 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, togetherRobert Shostak (1,858 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 academicallyDavid L. Dill (1,230 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; BarrettEike 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 anRodin 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:Juan Pavón (3,091 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 researcherAlt-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 satisfiabilityJoseph Sifakis (1,101 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 ofAlt-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 satisfiabilitySylvie 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-FrancePatricia 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. PatriciaJavier Esparza (803 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 UniversityHistory of quantum mechanics (9,386 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 ofCPN-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 distributedInternational Conference on Software Reuse (234 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 engineeringLuigi 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 specificationMihaela 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 normaleMALPAS 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 programIstituto di Scienza e Tecnologie dell'Informazione (521 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 ComputingMarieke 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.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. SheNervos 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 EngineeringInstitute for Applied Information Processing and Communications (202 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". RetrievedCoreASM (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 StateYouth ministry (698 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 andPamela Zave (867 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 contributionsActor model (7,144 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-4Disjoint sets (1,290 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), IntroductionSpecification language (485 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, microservicesConstance 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"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 developmentThomas 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 theoriesBahar (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 thereforeACL2 (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 hasNat Bhairav (462 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 traditionJohn W. Mohr (586 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 institutionalDecision analysis (3,282 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 responsibilityValue 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 understoodAppeal to nature (1,341 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 inAttempto Controlled English (2,396 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—itMonadic 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-9856Orc (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-XAMD 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: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, HeidelbergLayered 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:10Advanced 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 CoarraysCumulativity (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:Petri net (7,238 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 InternationalAkhlaqur Rahman Kidwai (734 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)Ofer Strichman (893 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 validationC Bounded Model Checker (740 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 hasMaarten van Emden (417 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 foundationsTechniques 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 subjectScientific workflow system (2,390 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 toolsMarvin 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)John Fitzgerald (652 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 centerAlgorand (1,802 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 ScienceZohar Manna (403 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 MunichRance Cleaveland (977 words) [view diff] exact match in snippet view article find links to article
2024-04-10. Steffen, Bernhard (2024). "Rance Cleaveland: a life for formal methods". International Journal on Software Tools for Technology Transfer. 26Bird–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_2Scalable Coherent Interface (1,834 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 implementedFrank 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 15537209Hans-Jörg Kreowski (889 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 forSignal transition graphs (3,883 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-9856Susan Gerhart (506 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 controversyCapital budgeting (1,779 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 AccountingAlternative hypothesis (1,061 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. InAlternative hypothesis (1,061 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. InAlonzo Church (2,245 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.)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. 4486Prover9 (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)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) whichDafny (1,418 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_14Sanctum Inc. (609 words) [view diff] exact match in snippet view article find links to article
has done an extensive research in application security and applying formal methods to real life software in collaboration with Turing Award winner ProfessorShripad Dabholkar (925 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, aHans Kamp (438 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. KampSoup kitchen (2,523 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 wereSemantic 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 worldCentrum Wiskunde & Informatica (1,390 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 ElectrologicaAdvanced 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 HeidelbergEvidence-based medicine (9,182 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 eventuallyCharles C. Ragin (530 words) [view diff] case mismatch in snippet view article find links to article
University Chicago Press 2000. Ragin, Charles C. & Larry Griffin. Formal Methods of Qualitative Analysis. (Edited Collection). Special Issue of SociologicalMacrohistory (1,038 words) [view diff] exact match in snippet view article find links to article
historical processes Cliometrics – Application of econometrics and other formal methods to the study of history Longue durée – Concept in history Microhistory –Cliometrics (2,117 words) [view diff] exact match in snippet view article find links to article
Application of econometrics and other formal methods to the study of historyPentium FDIV bug (2,536 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/MEMCODMariëlle Stoelinga (750 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 NetherlandsJacob Bernoulli (2,301 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 hisDonkey sentence (2,400 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. KitagawaKM3 (148 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, ItalyEngineering 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 EngineeringMichael 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 educationMichael 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 educationSusan B. Horwitz (919 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"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]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]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 involvedTNSDL (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. JyrinkiCDIS (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–76Kermit (protocol) (2,020 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 computersC-element (2,984 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. 13 (1): 37–85. doi:10.1023/A:1008666605437. H. ParkQuantum state (5,551 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 functionSteve Vickers (computer scientist) (1,226 words) [view diff] case mismatch in snippet view article
Edalat, A. and Jourdan, S. and McCusker, G., Advances in Theory and Formal Methods of Computing 1996, ISBN 1-86094-031-5, Imperial College Press, LondonJean-Paul Delahaye (226 words) [view diff] case mismatch in snippet view article find links to article
Math. Comp. 37 (155): 197–204. doi:10.1090/S0025-5718-1981-0616372-5. Formal Methods in Artificial Intelligence, North-Oxford Academic, 1987, ISBN 0470208260Michael 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, andISO 10303 (3,348 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 originallyCulture of Kievan Rus' (1,405 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 ecclesiasticMihalis Yannakakis (1,448 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 CourcoubetisRandal Bryant (1,205 words) [view diff] case mismatch in snippet view article find links to article
verification by symbolic evaluation of partially-ordered trajectories". Formal Methods in System Design. 6 (2): 147–189. doi:10.1007/BF01383966. ISSN 0925-9856Hybrid system (1,559 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-2NUST 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 simulationMarlene 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 supportGezel (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–319Actor 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. AghaFinite-state machine (4,528 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. "FiniteFinancial ratio (1,409 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 NetFabio Paternò (634 words) [view diff] exact match in snippet view article find links to article
Interactive Applications for Ubiquitous Environments ISBN 978-0-85729-249-0 Formal methods in Human Computer Interaction Mauve, an accessibility validator developedRobert Paul Wolff (1,587 words) [view diff] case mismatch in snippet view article find links to article
Robert Paul Wolff at Wikiquote Official page on Blogger Wolff's blog on Formal Methods in Political Philosophy Robert Paul Wolff at IMDb Wolff's archive ofEuroSTAR Conference (604 words) [view diff] case mismatch in snippet view article find links to article
Hierons, Robert M.; Bowen, Jonathan P.; Harman, Mark (2008-04-08). Formal Methods and Testing: An Outcome of the FORTEST Network. Revised Selected PapersKey-agreement protocol (1,470 words) [view diff] exact match in snippet view article find links to article
ISBN 978-3-662-58145-2. Boyd, C. (June 1993). "Security architectures using formal methods" (PDF). IEEE Journal on Selected Areas in Communications. 11 (5): 694–701Presentation–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–73Null hypothesis (5,351 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 statisticalWSFM (173 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 WorldUnit testing (3,865 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.[citationCrowdsourcing software development (2,494 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 orJohn Graham-Cumming (727 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