Danmark Technical University of Denmark / California Institute of Technology / /
IndustryTerm
software engineering / software artefacts / software engineering students / software engineering staff / reactive systems / software houses / software tools / correct software / formal methods tools / software engineering research / software packages / compiler systems / software development / software verification / carrier sets / worthwhile researching formal software development methods / static analysis tools / compiler product / hierarchical systems / formal software development methods / carrier elements / software industry / software designs / made formal software development methods / software engineering researchers / /
Organization
Technical University of Denmark / California Institute of Technology / United Nations / National Aeronautics and Space Administration / US Dod / /
Person
Eric C.R. Hehner / John McCarthy / Departmental Obstacle / John C. Reynolds / Chris W. George / Formal Methods / Here Obstacle / Dana Scott / Peter Landin / W. George Abstract / Christopher Strachey / John Reynold / Neil Jones / Tool Obstacle / David Gries / Peter Gorm Larsen / Tony Hoare / Donald E. Knuth / Robert Floyd / Stanford Temporal Prover / Klaus Havelund / /
Position
advisors / second author / looking forward / Model / /
Product
Ada / /
ProgrammingLanguage
Ada / ALGOL 60 / DC / /
ProvinceOrState
California / Arizona / /
RadioStation
Temporal Prover FM / /
Technology
operating systems / technology of software verification / CAV / /
40 Years of Formal Methods Some Obstacles and Some Possibilities ? Dines Bjørnerα and Klaus Havelundβ,0 α Fredsvej 11, DK-2840 Holte, Danmark