| 000 | 05095cam a2200793 i 4500 | ||
|---|---|---|---|
| 001 | ocn166467810 | ||
| 003 | OCoLC | ||
| 005 | 20250703143635.0 | ||
| 006 | m eo d | ||
| 007 | cr bn||||auuua | ||
| 008 | 030521s2003 gw a ob 101 0 eng d | ||
| 040 |
_aQCL _beng _epn _cQCL _dOCLCG _dYNG _dDKDLA _dOCLCQ _dOCLCO _dOCLCQ _dNLGGC _dOCLCA _dGW5XE _dOCLCF _dOCLCO _dUA@ _dOCL _dOCLCO _dOCLCQ _dYDX _dLIP _dUAB _dESU _dOCLCQ _dVT2 _dOCLCO _dBUF _dAU@ _dWYU _dLEAUB _dOL$ _dOCLCQ _dEUX _dOCLCO _dOCLCQ _dUKAHL _dOCLCO _dOCLCQ _dINT _dWSU _dOCLCO _dOCLCL _dOCLCQ |
||
| 015 |
_aGBA365693 _2bnb |
||
| 019 |
_a66553542 _a436629425 _a664271938 _a768063139 _a990586362 _a1102536695 _a1238285688 _a1259154957 _a1374612187 |
||
| 020 |
_a9783540448297 _q(electronic bk.) |
||
| 020 |
_a3540448292 _q(electronic bk.) |
||
| 020 | _z3540401172 | ||
| 020 | _z9783540401179 | ||
| 020 |
_a9788354044826 _q(7) |
||
| 020 | _a8354044823 | ||
| 024 | 7 |
_a10.1007/3-540-44829-2 _2doi |
|
| 029 | 1 |
_aAU@ _b000044635327 |
|
| 029 | 1 |
_aAU@ _b000058011815 |
|
| 029 | 1 |
_aNLGGC _b267152868 |
|
| 029 | 1 |
_aNZ1 _b14993839 |
|
| 029 | 1 |
_aNZ1 _b15297152 |
|
| 029 | 1 |
_aDKDLA _b820120-katalog:999920481705765 |
|
| 035 |
_a(OCoLC)166467810 _z(OCoLC)66553542 _z(OCoLC)436629425 _z(OCoLC)664271938 _z(OCoLC)768063139 _z(OCoLC)990586362 _z(OCoLC)1102536695 _z(OCoLC)1238285688 _z(OCoLC)1259154957 _z(OCoLC)1374612187 |
||
| 050 | 4 |
_aQA76.76.V47 _bI58 2003 |
|
| 072 | 7 |
_aUB _2bicssc |
|
| 072 | 7 |
_aCOM018000 _2bisacsh |
|
| 082 | 0 | 4 |
_a005.1/4 _221 |
| 084 |
_a54.52 _2bcl |
||
| 049 | _aMAIN | ||
| 111 | 2 |
_aInternational SPIN Workshop _n(10th : _d2003 : _cPortland, Or.) _921555 |
|
| 245 | 1 | 0 |
_aModel checking software : _b10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 : proceedings / _cThomas Ball, Sriram K. Rajamani (eds.). |
| 246 | 1 | 8 | _aSPIN 2003 |
| 260 |
_aBerlin ; _aLondon : _bSpringer, _c2003. |
||
| 300 |
_a1 online resource (viii, 239 pages) : _billustrations |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 347 | _atext file | ||
| 347 | _bPDF | ||
| 490 | 1 |
_aLecture notes in computer science ; _v2648 |
|
| 500 | _aSpine title: SPIN 2003. | ||
| 504 | _aIncludes bibliographical references and index. | ||
| 520 | _aThis book constitutes the refereed proceedings of the 10th International SPIN workshop on Model Checking of Software, SPIN 2003, held in Portland, OR, USA in May 2003 as an ICSE 2003 satellite workshop. The 14 revised full papers and 3 revised tool papers presented were carefully reviewed and selected from 30 submissions. The book presents state-of-the-art results on the analysis and verification of distributed software systems using the SPIN model checker as one of the most powerful and widely applied systems. | ||
| 505 | 0 | _aOptimal Scheduling Using Branch and Bound with SPIN 4.0 -- A Requirements Patterns-Driven Approach to Specify Systems and Check Properties -- Formal Modeling and Analysis of an Avionics Triplex Sensor Voter -- Distributed Explicit Fair Cycle Detection (Set Based Approach) -- Efficient Model Checking of Safety Properties -- A Light-Weight Algorithm for Model Checking with Symmetry Reduction and Weak Fairness -- A SAT Characterization of Boolean-Program Correctness -- What Went Wrong: Explaining Counterexamples -- A Nearly Memory-Optimal Data Structure for Sets and Mappings -- Checking Consistency of SDL+MSC Specifications -- Model Checking Publish-Subscribe Systems -- A Methodology for Model-Checking Ad-hoc Networks -- Promela Planning -- Thread-Modular Model Checking -- Unification & Sharing in Timed Automata Verification -- The Maude LTL Model Checker and Its Implementation -- Software Verification with BLAST. | |
| 546 | _aEnglish. | ||
| 630 | 0 | 6 |
_aSPIN (Logiciel) _vCongrès. _919630 |
| 650 | 0 |
_aComputer software _xVerification _vCongresses. _915105 |
|
| 650 | 6 |
_aLogiciels _xVérification _vCongrès. _918708 |
|
| 650 | 7 |
_aComputer software _xVerification _2fast _91930 |
|
| 655 | 7 |
_aproceedings (reports) _2aat |
|
| 655 | 7 |
_aConference papers and proceedings _2fast _96065 |
|
| 655 | 7 |
_aConference papers and proceedings. _2lcgft _96065 |
|
| 655 | 7 |
_aActes de congrès. _2rvmgf _9609890 |
|
| 700 | 1 |
_aBall, Thomas, _d1965- _1https://id.oclc.org/worldcat/entity/E39PCjwYhWkDWq7hvvKvF8Tv9C _921556 |
|
| 700 | 1 |
_aRajamani, Sriram K., _d1970- _1https://id.oclc.org/worldcat/entity/E39PCjwTvHrRMV4BQdJjXGDVT3 _921557 |
|
| 758 |
_ihas work: _aModel checking software (Text) _1https://id.oclc.org/worldcat/entity/E39PCGjqf9KBwBGRdJGm3vKqV3 _4https://id.oclc.org/worldcat/ontology/hasWork |
||
| 776 | 0 | 8 |
_iPrint version:International SPIN Workshop (10 : 2003 : Portland, Or.) _tModel checking software : 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 : proceedings _w(OCoLC)52090932 |
| 830 | 0 |
_aLecture notes in computer science ; _v2648. |
|
| 856 | 4 | 0 | _uhttps://link.springer.com/10.1007/3-540-44829-2 |
| 938 |
_aAskews and Holts Library Services _bASKH _nAH20754856 |
||
| 938 |
_aYBP Library Services _bYANK _n13373119 |
||
| 936 | _aBATCHLOAD | ||
| 994 |
_a92 _bATIST |
||
| 999 |
_c636261 _d636261 |
||