External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

FAR-Cubicle - A new reachability algorithm for Cubicle

Sylvain Conchon, Amit Goel, Sava Krstic, Rupak Majumdar, Mattias Roux. FAR-Cubicle - A new reachability algorithm for Cubicle. In Daryl Stewart, Georg Weissenbacher, editors, 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017. pages 172-175, IEEE, 2017. [doi]

Authors

Sylvain Conchon

This author has not been identified. Look up 'Sylvain Conchon' in Google

Amit Goel

This author has not been identified. Look up 'Amit Goel' in Google

Sava Krstic

This author has not been identified. Look up 'Sava Krstic' in Google

Rupak Majumdar

This author has not been identified. Look up 'Rupak Majumdar' in Google

Mattias Roux

This author has not been identified. Look up 'Mattias Roux' in Google
runs on