@article{823083,
      recid = {823083},
      author = {Drechsler, Rolf,},
      title = {Formal system verification : state-of the-art and future  trends /},
      pages = {1 online resource.},
      abstract = {This book provides readers with a comprehensive  introduction to the formal verification of hardware and  software. World-leading experts from the domain of formal  proof techniques show the latest developments starting from  electronic system level (ESL) descriptions down to the  register transfer level (RTL). The authors demonstrate at  different abstraction layers how formal methods can help to  ensure functional correctness. Coverage includes the latest  academic research results, as well as descriptions of  industrial tools and case studies.},
      url = {http://library.usi.edu/record/823083},
      doi = {https://doi.org/10.1007/978-3-319-57685-5},
}