{"product_id":"computer-aided-verification-6th-international-conference-cav-94-stanford-california-usa-june-21-23-1994-proceedings-9783540581796","title":"Computer Aided Verification: 6th International Conference, Cav '94, Stanford, California, Usa, June 21-23, 1994. Proceedings","description":"\u003cp\u003e • Author(s): David L. Dill\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Logic Design\u003c\/p\u003e\u003cp\u003eThis volume contains the proceedings of the 6th Conference on Computer Aided Verification, held at Stanford University in June 1994. The in total 37 included papers were selected in a highly competetive reviewing process from 121 submissions; in total they document many of the most important advances achieved in CAV research and applications since the predecessor conference held in June 1993.\u003cbr\u003eThe volume is organized in sections on Real-Time Systems, CAV Theory, CAV Applications, Symbolic Verification, Hybrid Systems, Model Checking, Improving Efficiency, and Hardware Verification.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":47591727661207,"sku":"9783540581796","price":5786.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783540581796.webp?v=1774974283","url":"https:\/\/atlanticbooks.com\/products\/computer-aided-verification-6th-international-conference-cav-94-stanford-california-usa-june-21-23-1994-proceedings-9783540581796","provider":"Atlantic Books","version":"1.0","type":"link"}