Lennon Chaves

Identifiers

• name variant Lennon Chaves 0.60 · backfill

Papers (2)

1. Verifying Digital Systems with MATLAB cs.SY · 2017 · author #1
2. DSValidator: An Automated Counterexample Reproducibility Tool for Digital Systems (Tool Demonstration) cs.SY · 2016 · author #1

Mentions

• 1702.05591 #1 · arxiv_oai · confidence 0.70 Lennon Chaves
• 1610.07066 #1 · arxiv_oai · confidence 0.70 Lennon Chaves

Frequent Coauthors

• Daniel Kroening 2 shared papers
• Iury Bessa 2 shared papers
• Lucas Cordeiro 2 shared papers
• Eddie Filho 1 shared papers