Concepedia

Gil Vegliach

GV

1

Publications

16

Citations

1

H-Index

2015

Active since

Affiliations

Technical University of Munich(Current)

Gil Vegliach is an author at Technical University of Munich specializing in engineering, verification, and formal verification.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationSoftware Verification

Publications per year

2015–2015

1

Publications

1

The ins and outs of first-order runtime verification

Andreas Bauer, Jan-Christoph Küster, Gil Vegliach · Formal Methods in System Design · 2015 · 16 citations

Engineering, Runtime Verification, Program Analysis +9

Rows per page

1–1 of 1