Login / Signup

Control Explicit-Data Symbolic Model Checking.

Petr BauchVojtech HavelJiri Barnat
Published in: ACM Trans. Softw. Eng. Methodol. (2016)
Keyphrases
  • data sets
  • data analysis
  • machine learning
  • data structure
  • data streams
  • model checking
  • raw data
  • symbolic model checking