000			00614nam a2200169Ia 4500
999			_c6066 _d6066
008			161214s9999 xx 000 0 und d
020			_a3540281959 _cpbk
082			_a004 _bGOD
100			_aGodefroid, Patrick
245		0	_aModel checking software : twelfth International SPIN Workshop, San Franscisco, CA, USA, August 22-24, 2005 : proceedings
260			_aBerlin: _bSpringer, _c2005
300			_axi, 287 p.; _bill.: _c23 cm.
365			_aINR _b2785.50/ EURO 45.00
440			_v3639
490			_aLecture notes in computer science
520			_a This book constitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held in San Francisco, USA in August 2005. The 15 revised full papers presented were carefully reviewed and selected from 45 submissions; in addition there are 4 tool presentation papers selected from 6 submissions. The papers are organized in topical sections on state representation and abstraction, dealing with concurrency, dealing with complex data, checking temporal properties, and checking security and real-time properties.
650			_aComputer software
650			_aComputer simulation
650			_aCFSM Languages
650			_aGNU Debugger
650			_aData processing
650			_aEngineering &​ Applied Sciences
650			_aModel-checking
650			_aSoftware Development &​ Engineering
650			_aLogiciels
650			_aQuality Assurance &​ Testing
650			_aProbabilistic Verification
650			_aInformatique
650			_aSPIN
650			_aComputer file
942			_2ddc _cBK