Name
Abstract | ||
|---|---|---|
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fundamental assumption of this paper is that formal methods research has produced several classes of analysis that can prove useful in software development. However, to be useful to software practitioners, most of whom lack advanced mathematical training and theorem proving skills, current formal methods need a number of ... |
Year | DOI | Venue |
|---|---|---|
1998 | 10.1007/BFb0055332 | FTRTFT |
Keywords | Field | DocType |
practical formal methods,software engineering,user friendly,theorem proving,formal method,software development | Formal system,Model checking,Software engineering,Computer science,Automated theorem proving,Algorithm,Formal specification,Software,Formal methods,Software development,Distributed computing,Formal verification | Conference |
Volume | ISSN | ISBN |
1486 | 0302-9743 | 3-540-65003-2 |
Citations | PageRank | References |
30 | 1.66 | 20 |
Authors | ||
1 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Constance L. Heitmeyer | 1 | 898 | 151.71 |