Tools

LEADER 03105cam a22004452 4500

001 ssj0000316847;

003 WaSeSS;

005 20200412081236.0;

006 m d ;

007 cr n ;

008 090703e20070702nju s|||||||| 2|eng|d;

020 a| 9783540733676;

020 a| 3540733671 (Trade Paper)c| USD 99.00 Retail Price (Publisher)9| Active Record;

024 3 a| 9783540733676;

035 a| (WaSeSS)ssj0000316847;

037 b| 00024965;

040 a| BIP USd| WaSeSS;

049 a| EREEa| NEHH;

100 1 a| Damm, Wernere| Volume Editor4| oth=| ^A526654;

245 10 a| Computer Aided Verificationh| [electronic resource]:b| 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings;

260 a| New York : b| Springer;

300 a| xv, 562 p.c| 23.500 x 015.500 cm.;

440 0 a| Lecture Notes in Computer Science / Theoretical Computer Science and General Issues Ser.;

506 a| Available only to authorized users.;

520 8 a| Annotationb| This book constitutes the refereed proceedings of the 19th International Conference on Computer Aided Verification, CAV 2007, held in Berlin, Germany July 2007 in conjunction with the 14th Workshop on Model Checking Software, SPIN 2007.The 33 revised full papers presented together with 14 tool papers and 3 invited papers and 4 invited tutorials were carefully reviewed and selected from 134 regular paper and 39 tool paper submissions. All current issues in computer aided verification and model checking - from foundational and methodological issues ranging to the evaluation of major tools and systems are addressed. The papers are organized in topical sections on compositionality, verification process, timed synthesis and games, inifinite state verification, tool environments, shapes, concurrent programm verification, reactive designs, parallelisation, constraints and decisions, probabilistic verification, abstraction, assume-guarantee reasoning, hybrid systems, program analysis, as well as SAT and decision procedures.;

538 a| Mode of access: World Wide Web;

650 4 a| Integrated Circuits;

650 4 a| Computer Softwarex| Verification;

655 0 a| Electronic books.=| ^A491897;

700 1 a| Hermanns, Holgere| Volume Editor4| oth?| UNAUTHORIZED;

856 40 z| Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)u| https://go.openathens.net/redirector/ecu.edu?url=https%3A%2F%2Flink.springer.com%2Fopenurl%3Fgenre%3Dbook%26isbn%3D978-3-540-73367-6;

949 a| CLICK ON WEB ADDRESSw| ASISh| JOYNER188;

949 a| CLICK ON WEB ADDRESSw| ASISh| HSL77;

949 a| CLICK ON WEB ADDRESSw| ASISh| JMUSIC60;

596 a| 1 3 4;

998 a| 4024198;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4024198-1001l| JNETm| JOYNERr| Ys| Yt| JNESSBKu| 1/1/2016x| EBOOKz| JERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4024198-2001l| HSLELECm| HSLr| Ys| Yt| HEBKu| 1/1/2016x| EBOOKz| HERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4024198-3001l| MNETm| JMUSICr| Ys| Yt| MNESSBKu| 1/1/2016x| EBOOKz| JERESOURCE;

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings

Author/creator	Damm, Werner Volume Editor
Other author	Hermanns, Holger Volume Editor
Format	Electronic
Publication Info	New York : Springer
Description	xv, 562 p. 23.500 x 015.500 cm.
Supplemental Content	Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)
Subjects	Integrated Circuits Computer Software--Verification.

Series	Lecture Notes in Computer Science / Theoretical Computer Science and General Issues Ser.
Summary	Annotation This book constitutes the refereed proceedings of the 19th International Conference on Computer Aided Verification, CAV 2007, held in Berlin, Germany July 2007 in conjunction with the 14th Workshop on Model Checking Software, SPIN 2007.The 33 revised full papers presented together with 14 tool papers and 3 invited papers and 4 invited tutorials were carefully reviewed and selected from 134 regular paper and 39 tool paper submissions. All current issues in computer aided verification and model checking - from foundational and methodological issues ranging to the evaluation of major tools and systems are addressed. The papers are organized in topical sections on compositionality, verification process, timed synthesis and games, inifinite state verification, tool environments, shapes, concurrent programm verification, reactive designs, parallelisation, constraints and decisions, probabilistic verification, abstraction, assume-guarantee reasoning, hybrid systems, program analysis, as well as SAT and decision procedures.
Access restriction	Available only to authorized users.
Technical details	Mode of access: World Wide Web
Genre/form	Electronic books.
ISBN	9783540733676
ISBN	3540733671 (Trade Paper) Active Record
Standard identifier#	9783540733676
Stock number	00024965

Availability

Library	Location	Call Number	Status	Item Actions
	Electronic Resources	Access Content Online	✔ Available

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings

Click here for more information about this title

Availability