Concepedia

Mark Longley

ML

Statistics

Publications

3

Citations

74

H-Index

3

Active since

1989

Affiliations

University of Kent(Current)

Mark Longley is an author at University of Kent specializing in formal methods, automated reasoning, and formal verification.

Top concepts

EngineeringFormal MethodsAutomated ReasoningFormal VerificationSoftware DesignComputer ScienceProgram AnalysisSoftware AnalysisCompilersFormal Logic

Publications per year

1989–1990

3

Publications

3

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 dependent types

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

Engineering, Type Theory, Verification +19

Veritas+: A specification language based on type theory

F.K. Hanna, Neil Daeche, Mark Longley · Lecture notes in computer science · 1990 · 11 citations

Engineering, Program Analysis, Automated Reasoning +7

1–3 of 3