:facetid:toc:\"db/conf/spin/spin2001.bht\"OK:facetid:toc:db/conf/spin/spin2001.bhtMichael BaldamusJochen Schröder-Babop2b: A Translation Utility for Linking Promela and Symbolic Model Checking (Tool Paper).SPIN183-1912001Conference and Workshop Papersclosedconf/spin/BaldamusS0110.1007/3-540-45139-0_11https://doi.org/10.1007/3-540-45139-0_11https://dblp.org/rec/conf/spin/BaldamusS01URL#6393862Thomas BallSriram K. RajamaniAutomatically Validating Temporal Safety Properties of Interfaces.SPIN103-1222001Conference and Workshop Papersclosedconf/spin/BallR0110.1007/3-540-45139-0_7https://doi.org/10.1007/3-540-45139-0_7https://dblp.org/rec/conf/spin/BallR01URL#6393863Jiri BarnatLubos BrimJitka StríbrnáDistributed LTL Model-Checking in SPIN.SPIN200-2162001Conference and Workshop Papersclosedconf/spin/BarnatBS0110.1007/3-540-45139-0_13https://doi.org/10.1007/3-540-45139-0_13https://dblp.org/rec/conf/spin/BarnatBS01URL#6393864Muffy CalderAlice Miller 0001Using SPIN for Feature Interaction Analysis - A Case Study.SPIN143-1622001Conference and Workshop Papersclosedconf/spin/CalderM0110.1007/3-540-45139-0_9https://doi.org/10.1007/3-540-45139-0_9https://dblp.org/rec/conf/spin/CalderM01URL#6393865Marsha ChechikBenet DevereuxArie GurfinkelModel-Checking Infinite State-Space Systems with Fine-Grained Abstractions Using SPIN.SPIN16-362001Conference and Workshop Papersclosedconf/spin/ChechikDG0110.1007/3-540-45139-0_3https://doi.org/10.1007/3-540-45139-0_3https://dblp.org/rec/conf/spin/ChechikDG01URL#6393866Darren D. CoferEric EngstromRobert P. GoldmanDavid J. MuslinerSteve VestalApplications of Model Checking at Honeywell Laboratories.SPIN296-3032001Conference and Workshop Papersclosedconf/spin/CoferEGMV0110.1007/3-540-45139-0_19https://doi.org/10.1007/3-540-45139-0_19https://dblp.org/rec/conf/spin/CoferEGMV01URL#6393867Fabrice DerepasPaul GastinModel Checking Systems of Replicated Processes with Spin.SPIN235-2512001Conference and Workshop Papersclosedconf/spin/DerepasG0110.1007/3-540-45139-0_15https://doi.org/10.1007/3-540-45139-0_15https://dblp.org/rec/conf/spin/DerepasG01URL#6393868Stefan EdelkampAlberto Lluch-LafuenteStefan LeueDirected Explicit Model Checking with HSF-SPIN.SPIN57-792001Conference and Workshop Papersclosedconf/spin/EdelkampLL0110.1007/3-540-45139-0_5https://doi.org/10.1007/3-540-45139-0_5https://dblp.org/rec/conf/spin/EdelkampLL01URL#6393869Javier EsparzaKeijo HeljankoImplementing LTL Model Checking with Net Unfoldings.SPIN37-562001Conference and Workshop Papersclosedconf/spin/EsparzaH0110.1007/3-540-45139-0_4https://doi.org/10.1007/3-540-45139-0_4https://dblp.org/rec/conf/spin/EsparzaH01URL#6393870Hubert GaravelRadu Mateescu 0001Irina M. SmarandacheParallel State Space Construction for Model-Checking.SPIN217-2342001Conference and Workshop Papersclosedconf/spin/GaravelMS0110.1007/3-540-45139-0_14https://doi.org/10.1007/3-540-45139-0_14https://dblp.org/rec/conf/spin/GaravelMS01URL#6393871Rob GerthModel Checking if Your Life Depends on It a View from Intel's Trenches.SPIN152001Conference and Workshop Papersclosedconf/spin/Gerth0110.1007/3-540-45139-0_2https://doi.org/10.1007/3-540-45139-0_2https://dblp.org/rec/conf/spin/Gerth01URL#6393872Leszek HolenderskiA Model Checking Project at Philips Research.SPIN288-2952001Conference and Workshop Papersclosedconf/spin/Holenderski0110.1007/3-540-45139-0_18https://doi.org/10.1007/3-540-45139-0_18https://dblp.org/rec/conf/spin/Holenderski01URL#6393873Guoping JiaSusanne GrafVerification Experiments on the MASCARA Protocol.SPIN123-1422001Conference and Workshop Papersclosedconf/spin/JiaG0110.1007/3-540-45139-0_8https://doi.org/10.1007/3-540-45139-0_8https://dblp.org/rec/conf/spin/JiaG01URL#6393874Flavio LerdaWillem VisserAddressing Dynamic Issues of Program Model Checking.SPIN80-1022001Conference and Workshop Papersclosedconf/spin/LerdaV0110.1007/3-540-45139-0_6https://doi.org/10.1007/3-540-45139-0_6https://dblp.org/rec/conf/spin/LerdaV01URL#6393875Shin Nakajima 0001Tetsuo TamaiBehavioural Analysis of the Enterprise JavaBeansTM Component Architecture.SPIN163-1822001Conference and Workshop Papersclosedconf/spin/NakajimaT0110.1007/3-540-45139-0_10https://doi.org/10.1007/3-540-45139-0_10https://dblp.org/rec/conf/spin/NakajimaT01URL#6393876Doron A. PeledLenore D. ZuckFrom Model Checking to a Temporal Proof.SPIN1-142001Conference and Workshop Papersclosedconf/spin/PeledZ0110.1007/3-540-45139-0_1https://doi.org/10.1007/3-540-45139-0_1https://dblp.org/rec/conf/spin/PeledZ01URL#6393877Vivek K. ShanbhagK. GopinathA SPIN-Based Model Checker for Telecommunication Protocols.SPIN252-2712001Conference and Workshop Papersclosedconf/spin/ShanbhagG0110.1007/3-540-45139-0_16https://doi.org/10.1007/3-540-45139-0_16https://dblp.org/rec/conf/spin/ShanbhagG01URL#6393878Bernhard SteffenTiziana MargariaVolker BraunCoarse-Granular Model Checking in Practice.SPIN304-3122001Conference and Workshop Papersclosedconf/spin/SteffenMB0110.1007/3-540-45139-0_20https://doi.org/10.1007/3-540-45139-0_20https://dblp.org/rec/conf/spin/SteffenMB01URL#6393879Scott D. StollerYanhong A. LiuTransformations for Model Checking Distributed Java Programs.SPIN192-1992001Conference and Workshop Papersclosedconf/spin/StollerL0110.1007/3-540-45139-0_12https://doi.org/10.1007/3-540-45139-0_12https://dblp.org/rec/conf/spin/StollerL01URL#6393880Clement YuenWei TjioeModeling and Verifying a Price Model for Congestion Control in Computer Networks Using Promela/Spin.SPIN272-2872001Conference and Workshop Papersclosedconf/spin/YuenT0110.1007/3-540-45139-0_17https://doi.org/10.1007/3-540-45139-0_17https://dblp.org/rec/conf/spin/YuenT01URL#6393881Matthew B. DwyerModel Checking Software, 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001, ProceedingsSPINLecture Notes in Computer Science2057Springer2001Editorshipconf/spin/200110.1007/3-540-45139-0https://doi.org/10.1007/3-540-45139-0https://dblp.org/rec/conf/spin/2001URL#6400373