Concepedia

Neil Daeche

ND

Statistics

Publications

9

Citations

217

H-Index

9

Active since

1985

Affiliations

University of Kent(Current)

Neil Daeche is an author at University of Kent specializing in automated reasoning, engineering, and formal verification.

Top concepts

EngineeringFormal MethodsAutomated ReasoningFormal VerificationComputer ScienceVerificationFormal SpecificationSystems EngineeringSoftware DesignSystem Software

Publications per year

1985–1992

9

Publications

9

Formal Synthesis of Digital Systems

Keith Hanna, Neil Daeche, Mark Longley · Kent Academic Repository (University of Kent) · 1989 · 40 citations

Engineering, Formal Modeling, Automated Reasoning +8

Specification and Verification using Higher-Order Logic

Keith Hanna, Neil Daeche · Kent Academic Repository (University of Kent) · 1985 · 36 citations

Specification Language, Formal Specification, Engineering +7

Specification and verification of digital systems using higher-order predicate logic

F.K. Hanna, Neil Daeche · 1986 · 34 citations

Formal Specification, Engineering, Formal Modeling +15

Specification and Verification using Higher-Order Logic: A Case Study

Keith Hanna, Neil Daeche · Kent Academic Repository (University of Kent) · 1986 · 31 citations

Specification Language, Formal Specification, Engineering +7

Specification and verification using dependent types

F.K. Hanna, Neil Daeche, Mark Longley · IEEE Transactions on Software Engineering · 1990 · 23 citations

Engineering, Type Theory, Verification +19

1–5 of 9