share record
persistent URL:
Arnaud Sangnier , Nathalie Sznajder , Maria Potop-Butucaru , Sébastien Tixeuil : Parameterized verification of algorithms for oblivious robots on a ring. FMCAD 2017 : 212-219 share record
persistent URL:
Wilfried Steiner : Formal methods in industrial dependable systems design - The TTTech example. FMCAD 2017 : 8 share record
persistent URL:
Lucas M. Tabajara , Moshe Y. Vardi : Factored boolean functional synthesis. FMCAD 2017 : 124-131 share record
persistent URL:
Tamás Tóth , Ákos Hajdu , András Vörös , Zoltán Micskei , István Majzik : Theta: A framework for abstraction refinement-based model checking. FMCAD 2017 : 176-179 share record
persistent URL:
Freek Verbeek , Nike van Vugt : Estimating worst-case latency of on-chip interconnects with formal simulation. FMCAD 2017 : 204-211 share record
persistent URL:
Yakir Vizel , Alexander Nadel , Sharad Malik : Solving linear arithmetic with SAT-based model checking. FMCAD 2017 : 47-54 share record
persistent URL:
Daryl Stewart , Georg Weissenbacher : 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017. IEEE 2017 , ISBN 978-0-9835678-7-5 [contents]