:facetid:toc:\"db/conf/spin/spin2005.bht\"OK:facetid:toc:db/conf/spin/spin2005.bhtTomás BarrosLudovic HenrioEric MadelaineBehavioural Models for Hierarchical Components.SPIN154-1682005Conference and Workshop Papersclosedconf/spin/BarrosHM0510.1007/11537328_14https://doi.org/10.1007/11537328_14https://dblp.org/rec/conf/spin/BarrosHM05URL#5948712Dragan BosnackiGerard J. HolzmannImproving Spin's Partial-Order Reduction for Breadth-First Search.SPIN91-1052005Conference and Workshop Papersclosedconf/spin/BosnackiH0510.1007/11537328_10https://doi.org/10.1007/11537328_10https://dblp.org/rec/conf/spin/BosnackiH05URL#5948713Cristian CadarDawson R. EnglerExecution Generated Test Cases: How to Make Systems Code Crash Itself.SPIN2-232005Conference and Workshop Papersclosedconf/spin/CadarE0510.1007/11537328_2https://doi.org/10.1007/11537328_2https://dblp.org/rec/conf/spin/CadarE05URL#5948714Yung-Pin ChengCrafting a Promela Front-End with Abstract Data Types to Mitigate the Sensitivity of (Compositional) Analysis to Implementation Choices.SPIN139-1532005Conference and Workshop Papersclosedconf/spin/Cheng0510.1007/11537328_13https://doi.org/10.1007/11537328_13https://dblp.org/rec/conf/spin/Cheng05URL#5948715Byron CookDaniel KroeningNatasha SharyginaSymbolic Model Checking for Asynchronous Boolean Programs.SPIN75-902005Conference and Workshop Papersclosedconf/spin/CookKS0510.1007/11537328_9https://doi.org/10.1007/11537328_9https://dblp.org/rec/conf/spin/CookKS05URL#5948716Jean-Michel CouvreurAlexandre Duret-LutzDenis PoitrenaudOn-the-Fly Emptiness Checks for Generalized Büchi Automata.SPIN169-1842005Conference and Workshop Papersclosedconf/spin/CouvreurDP0510.1007/11537328_15https://doi.org/10.1007/11537328_15https://dblp.org/rec/conf/spin/CouvreurDP05URL#5948717Peter C. DillingerPanagiotis ManoliosEnhanced Probabilistic Verification with 3Spin and 3Murphi.SPIN272-2762005Conference and Workshop Papersclosedconf/spin/DillingerM0510.1007/11537328_22https://doi.org/10.1007/11537328_22https://dblp.org/rec/conf/spin/DillingerM05URL#5948718Alastair F. DonaldsonSimon J. GayEtch: An Enhanced Type Checking Tool for Promela.SPIN266-2712005Conference and Workshop Papersclosedconf/spin/DonaldsonG0510.1007/11537328_21https://doi.org/10.1007/11537328_21https://dblp.org/rec/conf/spin/DonaldsonG05URL#5948719Sami EvangelistaJean-François Pradat-PeyreMemory Efficient State Space Storage in Explicit Software Model Checking.SPIN43-572005Conference and Workshop Papersclosedconf/spin/EvangelistaP0510.1007/11537328_7https://doi.org/10.1007/11537328_7https://dblp.org/rec/conf/spin/EvangelistaP05URL#5948720Dimitra GiannakopoulouCorina S. PasareanuLearning-Based Assume-Guarantee Verification (Tool Paper).SPIN282-2872005Conference and Workshop Papersclosedconf/spin/GiannakopoulouP0510.1007/11537328_24https://doi.org/10.1007/11537328_24https://dblp.org/rec/conf/spin/GiannakopoulouP05URL#5948721Thomas A. HenzingerRanjit JhalaRupak MajumdarThe BLAST Software Verification System.SPIN25-262005Conference and Workshop Papersclosedconf/spin/HenzingerJM0510.1007/11537328_4https://doi.org/10.1007/11537328_4https://dblp.org/rec/conf/spin/HenzingerJM05URL#5948722Gerard J. HolzmannTheo C. RuysEffective Bug Hunting with Spin and Modex.SPIN24-242005Conference and Workshop Papersclosedconf/spin/HolzmannR0510.1007/11537328_3https://doi.org/10.1007/11537328_3https://dblp.org/rec/conf/spin/HolzmannR05URL#5948723Abdul Sahid KhanMadhavan MukundS. P. SureshGeneric Verification of Security Protocols.SPIN221-2352005Conference and Workshop Papersclosedconf/spin/KhanMS0510.1007/11537328_18https://doi.org/10.1007/11537328_18https://dblp.org/rec/conf/spin/KhanMS05URL#5948724Sarfraz KhurshidIván GarcíaYuk Lai SuenRepairing Structurally Complex Data.SPIN123-1382005Conference and Workshop Papersclosedconf/spin/KhurshidGS0510.1007/11537328_12https://doi.org/10.1007/11537328_12https://dblp.org/rec/conf/spin/KhurshidGS05URL#5948725Stefan LeueWei Wei 0015Counterexample-Based Refinement for a Boundedness Test for CFSM Languages.SPIN58-742005Conference and Workshop Papersclosedconf/spin/LeueW0510.1007/11537328_8https://doi.org/10.1007/11537328_8https://dblp.org/rec/conf/spin/LeueW05URL#5948726Vladimir LevinRobert PalmerShaz QadeerSriram K. RajamaniSound Transaction-Based Reduction Without Cycle Detection.SPIN106-1222005Conference and Workshop Papersclosedconf/spin/LevinPQR0510.1007/11537328_11https://doi.org/10.1007/11537328_11https://dblp.org/rec/conf/spin/LevinPQR05URL#5948727Bas LuttikNikola TrckaStuttering Congruence for chi.SPIN185-1992005Conference and Workshop Papersclosedconf/spin/LuttikT0510.1007/11537328_16https://doi.org/10.1007/11537328_16https://dblp.org/rec/conf/spin/LuttikT05URL#5948728Anil MadhavapeddyDavid J. ScottRichard SharpSPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions.SPIN277-2812005Conference and Workshop Papersclosedconf/spin/MadhavapeddySS0510.1007/11537328_23https://doi.org/10.1007/11537328_23https://dblp.org/rec/conf/spin/MadhavapeddySS05URL#5948729Eric MercerMichael D. JonesModel Checking Machine Code with the GNU Debugger.SPIN251-2652005Conference and Workshop Papersclosedconf/spin/MercerJ0510.1007/11537328_20https://doi.org/10.1007/11537328_20https://dblp.org/rec/conf/spin/MercerJ05URL#5948730Madanlal MusuvathiDavid L. DillAn Incremental Heap Canonicalization Algorithm.SPIN28-422005Conference and Workshop Papersclosedconf/spin/MusuvathiD0510.1007/11537328_6https://doi.org/10.1007/11537328_6https://dblp.org/rec/conf/spin/MusuvathiD05URL#5948731Gerrit RothmaierTobias KneiphoffHeiko KrummUsing SPIN and Eclipse for Optimized High-Level Modeling and Analysis of Computer Network Attack Models.SPIN236-2502005Conference and Workshop Papersclosedconf/spin/RothmaierKK0510.1007/11537328_19https://doi.org/10.1007/11537328_19https://dblp.org/rec/conf/spin/RothmaierKK05URL#5948732Salamah SalamahAnn Q. GatesSteve RoachOscar MondragonVerifying Pattern-Generated LTL Formulas: A Case Study.SPIN200-2202005Conference and Workshop Papersclosedconf/spin/SalamahGRM0510.1007/11537328_17https://doi.org/10.1007/11537328_17https://dblp.org/rec/conf/spin/SalamahGRM05URL#5948733Willem VisserPeter C. MehlitzModel Checking Programs with Java PathFinder.SPIN272005Conference and Workshop Papersclosedconf/spin/VisserM0510.1007/11537328_5https://doi.org/10.1007/11537328_5https://dblp.org/rec/conf/spin/VisserM05URL#5948734David A. Wagner 0001Pushdown Model Checking for Security.SPIN12005Conference and Workshop Papersclosedconf/spin/Wagner0510.1007/11537328_1https://doi.org/10.1007/11537328_1https://dblp.org/rec/conf/spin/Wagner05URL#5948735Patrice GodefroidModel Checking Software, 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, ProceedingsSPINLecture Notes in Computer Science3639Springer2005Editorshipconf/spin/200510.1007/11537328https://doi.org/10.1007/11537328https://dblp.org/rec/conf/spin/2005URL#5959914