The Full Wiki

Top formal methods (Trending topics)

Advertisements
  
  

The following are the current most viewed articles on Wikipedia within Wikipedia's Formal methods category. Think of it as a What's Hot list for Formal methods. More info »

This is a beta release and so the figures may be a day or two out of date. We'd love to get your thoughts.

Rank Topic Wikipedia views
1 Software development process 5,090 Sparkline of topic views for 2 weeks
2 Turing machine 2,847 Sparkline of topic views for 2 weeks
3 Set theory 2,742 Sparkline of topic views for 2 weeks
4 IBM Rational Unified Process 2,100 Sparkline of topic views for 2 weeks
5 Lambda calculus 2,078 Sparkline of topic views for 2 weeks
6 Proof of concept 1,192 Sparkline of topic views for 2 weeks
7 Automated theorem proving 675 Sparkline of topic views for 2 weeks
8 Boolean satisfiability problem 614 Sparkline of topic views for 2 weeks
9 Static code analysis 614 Sparkline of topic views for 2 weeks
10 Algorithm examples 600 Sparkline of topic views for 2 weeks
11 Liskov substitution principle 581 Sparkline of topic views for 2 weeks
12 Formal system 530 Sparkline of topic views for 2 weeks
13 Formal methods 477 Sparkline of topic views for 2 weeks
14 Assertion (computing) 416 Sparkline of topic views for 2 weeks
15 Verification and Validation (software) 394 Sparkline of topic views for 2 weeks
16 Formal verification 342 Sparkline of topic views for 2 weeks
17 Dependability 342 Sparkline of topic views for 2 weeks
18 UML state machine 310 Sparkline of topic views for 2 weeks
19 Model checking 254 Sparkline of topic views for 2 weeks
20 Algorithm characterizations 252 Sparkline of topic views for 2 weeks
21 Temporal logic 250 Sparkline of topic views for 2 weeks
22 Hoare logic 225 Sparkline of topic views for 2 weeks
23 Formal semantics of programming languages 217 Sparkline of topic views for 2 weeks
24 High and low level 161 Sparkline of topic views for 2 weeks
25 Loop invariant 157 Sparkline of topic views for 2 weeks
26 Invariant (computer science) 157 Sparkline of topic views for 2 weeks
27 Precondition 142 Sparkline of topic views for 2 weeks
28 Static timing analysis 141 Sparkline of topic views for 2 weeks
29 Abstract interpretation 135 Sparkline of topic views for 2 weeks
30 Reification (computer science) 132 Sparkline of topic views for 2 weeks
31 Life-critical system 130 Sparkline of topic views for 2 weeks
32 Logic in computer science 130 Sparkline of topic views for 2 weeks
33 Dynamic program analysis 124 Sparkline of topic views for 2 weeks
34 Formal specification 104 Sparkline of topic views for 2 weeks
35 Mondex 96 Sparkline of topic views for 2 weeks
36 Satisfiability Modulo Theories 91 Sparkline of topic views for 2 weeks
37 Computer-assisted proof 90 Sparkline of topic views for 2 weeks
38 Vienna Development Method 88 Sparkline of topic views for 2 weeks
39 Bisimulation 87 Sparkline of topic views for 2 weeks
40 Isabelle (theorem prover) 73 Sparkline of topic views for 2 weeks
41 Correctness (computer science) 67 Sparkline of topic views for 2 weeks
42 Asynchronous system 67 Sparkline of topic views for 2 weeks
43 Postcondition 65 Sparkline of topic views for 2 weeks
44 Solver (computer science) 64 Sparkline of topic views for 2 weeks
45 Extended finite state machine 60 Sparkline of topic views for 2 weeks
46 Abstract state machines 58 Sparkline of topic views for 2 weeks
47 B-Method 53 Sparkline of topic views for 2 weeks
48 Effect system 46 Sparkline of topic views for 2 weeks
49 Predicate transformer semantics 45 Sparkline of topic views for 2 weeks
50 Lustre (programming language) 38 Sparkline of topic views for 2 weeks
51 QED manifesto 35 Sparkline of topic views for 2 weeks
52 Partial order reduction 33 Sparkline of topic views for 2 weeks
53 McCarthy 91 function 30 Sparkline of topic views for 2 weeks
54 Automated proof checking 30 Sparkline of topic views for 2 weeks
55 Guard (computing) 29 Sparkline of topic views for 2 weeks
56 Temporal logic of actions 28 Sparkline of topic views for 2 weeks
57 Formal equivalence checking 27 Sparkline of topic views for 2 weeks
58 Loop variant 27 Sparkline of topic views for 2 weeks
59 Program refinement 26 Sparkline of topic views for 2 weeks
60 Unifying Theories of Programming 26 Sparkline of topic views for 2 weeks
61 And-inverter graph 26 Sparkline of topic views for 2 weeks
62 Oracle Unified Method 26 Sparkline of topic views for 2 weeks
63 Applicative Universal Grammar 26 Sparkline of topic views for 2 weeks
64 Retiming 25 Sparkline of topic views for 2 weeks
65 Program derivation 20 Sparkline of topic views for 2 weeks
66 BCS-FACS 19 Sparkline of topic views for 2 weeks
67 Runtime verification 19 Sparkline of topic views for 2 weeks
68 Algebraic specification 19 Sparkline of topic views for 2 weeks
69 Compcert 19 Sparkline of topic views for 2 weeks
70 Temporal logic in finite-state verification 17 Sparkline of topic views for 2 weeks
71 Interval temporal logic 16 Sparkline of topic views for 2 weeks
72 Formal Aspects of Computing 16 Sparkline of topic views for 2 weeks
73 Refinement calculus 16 Sparkline of topic views for 2 weeks
74 Invariant based programming 16 Sparkline of topic views for 2 weeks
75 Uclid 15 Sparkline of topic views for 2 weeks
76 International Symposium on Logic-based Program Synthesis and Transformation 15 Sparkline of topic views for 2 weeks
77 Statistical static timing analysis 15 Sparkline of topic views for 2 weeks
78 Altran Praxis 15 Sparkline of topic views for 2 weeks
79 International Journal of Critical Computer-Based Systems 15 Sparkline of topic views for 2 weeks
80 APCB 15 Sparkline of topic views for 2 weeks
81 Sneak circuit analysis 15 Sparkline of topic views for 2 weeks
82 Separation logic 14 Sparkline of topic views for 2 weeks
83 Programming Research Group 13 Sparkline of topic views for 2 weeks
84 Symbolic simulation 13 Sparkline of topic views for 2 weeks
85 CA/EZTEST 13 Sparkline of topic views for 2 weeks
86 SLAM project 12 Sparkline of topic views for 2 weeks
87 Regulated rewriting 12 Sparkline of topic views for 2 weeks
88 AlphaRenaming 12 Sparkline of topic views for 2 weeks
89 Syntactic methods 11 Sparkline of topic views for 2 weeks
90 POPLmark challenge 11 Sparkline of topic views for 2 weeks
91 Strict function 10 Sparkline of topic views for 2 weeks
92 Concurrency semantics 10 Sparkline of topic views for 2 weeks
93 United Nations University International Institute for Software Technology 10 Sparkline of topic views for 2 weeks
94 Production equipment control 9 Sparkline of topic views for 2 weeks
95 Robbins algebra 9 Sparkline of topic views for 2 weeks
96 Beaver bit-vector decision procedure 9 Sparkline of topic views for 2 weeks
97 Formal Methods Europe 8 Sparkline of topic views for 2 weeks
98 DREAM (software) 8 Sparkline of topic views for 2 weeks
99 Model-based specification 8 Sparkline of topic views for 2 weeks
100 Studia Logica 8 Sparkline of topic views for 2 weeks
101 ForTIA 7 Sparkline of topic views for 2 weeks
102 Categorical set theory 6 Sparkline of topic views for 2 weeks
103 Stuttering equivalence less than 5 views
104 Abstraction model checking less than 5 views
105 Extended static checking less than 5 views
106 Binary moment diagram less than 5 views
107 International Conference on Software Engineering and Formal Methods less than 5 views
108 State space enumeration less than 5 views

Subcategories

Parent categories


Encyclopedia

From Wikipedia, the free encyclopedia

Formal methods are mathematical approaches to software and hardware computer-based system development from requirements, specification and design through to programming and implementation. They form an important theoretical underpinning for software engineering, especially where safety or security is involved. Formal methods are a useful adjunct to software testing since they help avoid errors and can also give a framework for testing. For industrial use, tool support is required.

Subcategories

This category has the following 12 subcategories, out of 12 total.

A

C

L

P

R

S

T

Z

ยต

Pages in category "Formal methods"

The following 106 pages are in this category, out of 106 total. This list may not reflect recent changes (learn more).

A

B

C

D

E

F

F cont.

G

H

I

L

M

O

P

P cont.

Q

R

S

T

U

V

W

Media in category "Formal methods"

The following 8 files are in this category, out of 8 total.


Advertisements






Got something to say? Make a comment.
Your name
Your email address
Message