Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Brady, Bryan A."'
ion plays a central role in formal verification. Term-level abstraction is a technique for abstracting word-level designs in a formal logic, wherein data is modeled with abstract terms, functional blocks with uninterpreted functions, and memories wit
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3a526478f5de3c05cdea4f92868cd472
Publikováno v:
Family Practice Management; Jul/Aug2019, Vol. 26 Issue 4, p13-17, 5p, 2 Color Photographs, 1 Graph
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
http://www.escholarship.org/uc/item/2h54t3gt
ion is central to formal verification. In term-level abstraction, the design is abstracted using a fragment of first-order logic with background theories, such as the theory of uninterpreted functions with equality. The main challenge in using term-l
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4cf852b588f3ad56e8ed1f77e3057bdb
Publikováno v:
2011 48th ACM/EDAC/IEEE Design Automation Conference (DAC); Jun2011, p492-497, 6p
Publikováno v:
2011 Formal Methods in Computer-Aided Design (FMCAD); 1/ 1/2011, p116-124, 9p
Autor:
Hutchison, David, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Pandu Rangan, C., Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, Raskin, Jean-François, Thiagarajan, P. S., Jha, Susmit, Brady, Bryan A., Seshia, Sanjit A.
Publikováno v:
Formal Modeling & Analysis of Timed Systems (9783540754534); 2007, p241-256, 16p
Autor:
Bryant, Randal, Kroening, Daniel, Ouaknine, Joël, Seshia, Sanjit, Strichman, Ofer, Brady, Bryan
Publikováno v:
International Journal on Software Tools for Technology Transfer; Apr2009, Vol. 11 Issue 2, p95-104, 10p, 4 Diagrams, 2 Charts