Automatic Term-Level Abstraction

Autor: Brady, Bryan

Publikováno v: Brady, Bryan. (2011). Automatic Term-Level Abstraction. UC Berkeley: Electrical Engineering & Computer Sciences. Retrieved from: http://www.escholarship.org/uc/item/2h54t3gt

Recent advances in decision procedures for Boolean satisfiability (SAT) and Satisfiability Modulo Theories (SMT) have increased the performance and capacity of formal verification techniques. Even with these advances, formal methods often do not scal

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______325::6ba93d94662bd7fb6d54af61c44f6631
http://www.escholarship.org/uc/item/2h54t3gt