{"product_id":"9783540544777","title":"Lecture Notes in Computer Science: 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings","description":"\u003ch1\u003eLecture Notes in Computer Science: 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings\u003c\/h1\u003e \u003ch2\u003eClarke, Edmund M.; Kurshan, Robert P.\u003c\/h2\u003e \u003cp\u003eThis volume contains the proceedings of the second workshop\non Computer     Aided Verification, held at DIMACS, Rutgers\nUniversity, June 18-21, 1990. Itfeatures theoretical\nresults that lead to new or more powerful              verification\nmethods. Among these are advances in the use of                binary\ndecision diagrams, dense time, reductions based upon                 partial\norder representations and proof-checking in                         controller\nverification. The motivation for holding a workshop              on\ncomputer aided verification was to bring together work on\neffective  algorithms or methodologies for formal\nverification - as distinguished, say,from attributes of\nlogics or formal languages. The considerable             interest\ngenerated by the first workshop, held in Grenoble, June            1989\n(see LNCS 407), prompted this second meeting. The general\nfocus of this volume is on the problem of making formal\nverification feasible for    various models of computation.\nSpecific emphasis is on models associated    with distributed\nprograms, protocols, and digital circuits. The general     test\nof algorithm feasibility is to embed it into a verification\ntool,  and exercise that tool on realistic examples: the\nworkshop included sessionsfor the demonstration of new\nverification tools.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1991-10-02\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783540544777\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/BFb0023712\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 378\u003c\/p\u003e ","brand":"Springer Berlin Heidelberg","offers":[{"title":"Default Title","offer_id":45369849282700,"sku":"9783540544777","price":49.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783540544777.jpg?v=1773965680","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9783540544777","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}