Abstract | ||
---|---|---|
The FMCAD Student Forum provides a platform for graduate students at any career stage to introduce their research to the wider Formal Methods community, and solicit feedback. In 2018, the event took place in Austin, Texas, as integral part of the FMCAD conference. Fourteen students were invited to give a short talk and present a poster illustrating their work. The presentations covered a broad range of topics in the field of verification, such as from SAT/SMT solving and theorem proving, analysis and verification of hardware, software, and cyber-physical systems. |
Year | DOI | Venue |
---|---|---|
2018 | 10.23919/FMCAD.2018.8602995 | 2018 Formal Methods in Computer Aided Design (FMCAD) |
Field | DocType | ISBN |
Engineering profession,Software engineering,Computer science,Automated theorem proving,Theoretical computer science,Cyber-physical system,Software,Electronic design automation,Formal methods | Conference | 978-1-5386-7567-0 |
Citations | PageRank | References |
0 | 0.34 | 4 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Dejan Jovanović | 1 | 148 | 8.62 |
Andrew Reynolds | 2 | 212 | 14.79 |