Browsing Computer Science by Author "Ben-David, Shoham"
Now showing items 1-2 of 2
-
Applications of Description Logic and Causality in Model Checking
Ben-David, Shoham (University of Waterloo, 2009-06-19)Model checking is an automated technique for the verification of finite-state systems that is widely used in practice. In model checking, a model M is verified against a specification $\varphi$, exhaustively checking ... -
Symbolic Model Checking of Product-Line Requirements Using SAT-Based Methods
Ben-David, Shoham; Sterin, Baruch; Atlee, Joanne M.; Beidu, Sandy (IEEE, 2015-05)Product line (PL) engineering promotes the de- velopment of families of related products, where individual products are differentiated by which optional features they include. Modelling and analyzing requirements models ...