Keyword

formal methods

Description: Mathematical techniques for specifying and verifying software and hardware systems, especially in computer science and software engineering.

Primary topic: Formal Methods in Verification (35%)

Wikidata ID: wiki/Q1049183

OpenAlex ID: keywords/formal-methods

Industry 4.0: state of the art and future trends

2018 · Li Da Xu, Eric L. Xu, et al. · International Journal of Production Research · 3,226

The B-book: assigning programs to meanings

1997 · Choice Reviews Online · 2,112

The B-Book

1996 · J. R. Abrial, A. Hoare, et al. · Cambridge University Press eBooks · 1,702

Business Process Management: A Survey

2003 · Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, et al. · Lecture notes in computer science · 1,349

Ant Colony Optimization

2011 · Ranjith Kumar A, Ranjith Kumar R · 1,225

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security

2018 · 1,165

Formal Methods: State of the Art and Future Directions

1996 · EM Clarke, JM Wing, et al. · 1,123

Robotics

2013 · The MIT Press eBooks · 968

Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers

2002 · Leslie Lamport · CERN Document Server (European Organization for Nuclear Research) · 938

Russian Formalist Criticism: Four Essays

1968 · Robert P. Hughes, Lee T. Lemon, et al. · The Slavic and East European Journal · 811

Model checking JAVA programs using JAVA PathFinder

2000 · Klaus Havelund, Thomas Pressburger · International Journal on Software Tools for Technology Transfer · 800

PDF

Finding bugs is easy

2004 · David Hovemeyer, William Pugh · Companion to the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA Companion) · 768

Formal methods

1996 · Edmund M. Clarke, Jeannette M. Wing · ACM Computing Surveys · 765

PDF

A specifier's introduction to formal methods

1990 · J.M. Wing · Computer · 736

Fundamentals of Algebraic Specification 1

1985 · Hartmut Ehrig, Bernd Mahr · Springer eBooks · 721

Mathematical Theory of Computation

1972 · Zohar Manna · CERN Document Server (European Organization for Nuclear Research) · 696

Formal methods

2009 · Jim Woodcock, Peter Gorm Larsen, et al. · ACM Computing Surveys · 690

Enterprise Systems: State-of-the-Art and Future Trends