Search results for "spin"

Hits ?▲	Authors	Title	Venue	Year	Link
28	Allison Sullivan, Razieh Nokhbeh Zaeem, Sarfraz Khurshid, Darko Marinov	Towards a test automation framework for alloy.	SPIN	2014	DBLP DOI BibTeX RDF
28	Aditya V. Thakur, Jason Breck, Thomas W. Reps	Satisfiability modulo abstraction for separation logic with linked lists.	SPIN	2014	DBLP DOI BibTeX RDF
28	Pavel Parízek, Pavel Jancík	Approximating happens-before order: interplay between static analysis and state space traversal.	SPIN	2014	DBLP DOI BibTeX RDF
28	Michael Emmi, Burcu Kulahcioglu Ozkan, Serdar Tasiran	Exploiting synchronization in the analysis of shared-memory asynchronous programs.	SPIN	2014	DBLP DOI BibTeX RDF
28	Frantisek Blahoudek, Alexandre Duret-Lutz, Mojmír Kretínský, Jan Strejcek	Is there a best büchi automaton for explicit model checking?	SPIN	2014	DBLP DOI BibTeX RDF
28	Henning Günther, Georg Weissenbacher	Incremental bounded software model checking.	SPIN	2014	DBLP DOI BibTeX RDF
28	Nastaran Shafiei, Franck van Breugel	Automatic handling of native methods in Java PathFinder.	SPIN	2014	DBLP DOI BibTeX RDF
28	Nicolas Latorre, Francesco Alberti, Natasha Sharygina	Verige: verification with invariant generation engine.	SPIN	2014	DBLP DOI BibTeX RDF
28	Marie-Christine Jakobs, Heike Wehrheim	Certification for configurable program analysis.	SPIN	2014	DBLP DOI BibTeX RDF
28	Hao Zheng 0001	Local state space construction for compositional verification of concurrent systems.	SPIN	2014	DBLP DOI BibTeX RDF
28	Tewodros A. Beyene, Marc Brockschmidt, Andrey Rybalchenko	CTL+FO verification as constraint solving.	SPIN	2014	DBLP DOI BibTeX RDF
28	Ezio Bartocci, C. R. Ramakrishnan 0001 (eds.)	Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings	SPIN	2013	DBLP DOI BibTeX RDF
28	Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci	A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software.	SPIN	2013	DBLP DOI BibTeX RDF
28	Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci	On-the-Fly Control Software Synthesis.	SPIN	2013	DBLP DOI BibTeX RDF
28	John D. Backes, Suzette Person, Neha Rungta, Oksana Tkachuk	Regression Verification Using Impact Summaries.	SPIN	2013	DBLP DOI BibTeX RDF
28	Stefan Leue, Mitra Tabaei Befrouei	Mining Sequential Patterns to Explain Concurrent Counterexamples.	SPIN	2013	DBLP DOI BibTeX RDF
28	Kiran Adhikari, James Street, Chao Wang 0001, Yang Liu 0003, Shao Jie Zhang	Verifying a Quantitative Relaxation of Linearizability via Refinement.	SPIN	2013	DBLP DOI BibTeX RDF
28	Sagar Chaki, Joseph Andrew Giampapa	Probabilistic Verification of Coordinated Multi-robot Missions.	SPIN	2013	DBLP DOI BibTeX RDF
28	Stavros Tripakis, Christos Stergiou 0001, Manfred Broy, Edward A. Lee	Error-Completion in Interface Theories.	SPIN	2013	DBLP DOI BibTeX RDF
28	Chih-Hong Cheng, Michael Geisinger, Christian Buckl	Synthesizing Controllers for Automation Tasks with Performance Guarantees.	SPIN	2013	DBLP DOI BibTeX RDF
28	Bernhard Steffen, Malte Isberner, Stefan Naujokat, Tiziana Margaria, Maren Geske	Property-Driven Benchmark Generation.	SPIN	2013	DBLP DOI BibTeX RDF
28	Florian Leitner-Fischer, Stefan Leue	On the Synergy of Probabilistic Causality Computation and Causality Checking.	SPIN	2013	DBLP DOI BibTeX RDF
28	Annu John, Igor Konnov 0001, Ulrich Schmid 0001, Helmut Veith, Josef Widder	Towards Modeling and Model Checking Fault-Tolerant Distributed Algorithms.	SPIN	2013	DBLP DOI BibTeX RDF
28	Giorgio Delzanno, Riccardo Traverso	Specification and Validation of Link Reversal Routing via Graph Transformations.	SPIN	2013	DBLP DOI BibTeX RDF
28	Tomás Babiak, Thomas Badie, Alexandre Duret-Lutz, Mojmír Kretínský, Jan Strejcek	Compositional Approach to Suspension and Other Improvements to LTL Translation.	SPIN	2013	DBLP DOI BibTeX RDF
28	Alfons Laarman, Elwin Pater, Jaco van de Pol, Michael Weber 0002	Guard-Based Partial-Order Reduction.	SPIN	2013	DBLP DOI BibTeX RDF
28	Gerard J. Holzmann	Proving Properties of Concurrent Programs - (Extended Abstract).	SPIN	2013	DBLP DOI BibTeX RDF
28	Nuno P. Lopes, José Monteiro 0001	Automatic Equivalence Checking of UF+IA Programs.	SPIN	2013	DBLP DOI BibTeX RDF
28	Anthony Romano, Dawson R. Engler	Expression Reduction from Programs in a Symbolic Binary Executor.	SPIN	2013	DBLP DOI BibTeX RDF
28	Sergiy Bogomolov, Alexandre Donzé, Goran Frehse, Radu Grosu, Taylor T. Johnson, Hamed Ladan, Andreas Podelski, Martin Wehrle	Abstraction-Based Guided Search for Hybrid Systems.	SPIN	2013	DBLP DOI BibTeX RDF
28	Sven Gröning, Christopher Rosas, Christian Wietfeld	COMPLeTe - A COMmunication Protocol vaLidation Toolchain.	SPIN	2013	DBLP DOI BibTeX RDF
28	Divjyot Sethi, Muralidhar Talupur, Sharad Malik	Model Checking Unbounded Concurrent Lists.	SPIN	2013	DBLP DOI BibTeX RDF
28	Jonas Finnemann Jensen, Kim Guldstrand Larsen, Jirí Srba, Lars Kaerlund Oestergaard	Local Model Checking of Weighted CTL with Upper-Bound Constraints.	SPIN	2013	DBLP DOI BibTeX RDF
28	Dirk Beyer 0001, Philipp Wendler	Reuse of Verification Results - Conditional Model Checking, Precision Reuse, and Verification Witnesses.	SPIN	2013	DBLP DOI BibTeX RDF
28	Alastair F. Donaldson, David Parker 0001 (eds.)	Model Checking Software - 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings	SPIN	2012	DBLP DOI BibTeX RDF
28	Alexander Ditter, Milan Ceska 0002, Gerald Lüttgen	On Parallel Software Verification Using Boolean Equation Systems.	SPIN	2012	DBLP DOI BibTeX RDF
28	Sami Evangelista, Lars Michael Kristensen	Combining the Sweep-Line Method with the Use of an External-Memory Priority Queue.	SPIN	2012	DBLP DOI BibTeX RDF
28	Thomas Ball, Nikolaj S. Bjørner, Leonardo Mendonça de Moura, Kenneth L. McMillan, Margus Veanes	Beyond First-Order Satisfaction: Fixed Points, Interpolants, Automata and Polynomials.	SPIN	2012	DBLP DOI BibTeX RDF
28	Reng Zeng, Zhuo Sun, Su Liu, Xudong He	McPatom: A Predictive Analysis Tool for Atomicity Violation Using Model Checking.	SPIN	2012	DBLP DOI BibTeX RDF
28	Ethan Burns, Rong Zhou 0001	Parallel Model Checking Using Abstraction.	SPIN	2012	DBLP DOI BibTeX RDF
28	Shravan Garlapati, Sandeep K. Shukla	Formal Verification of Hierarchically Distributed Agent Based Protection Scheme in Smart Grid.	SPIN	2012	DBLP DOI BibTeX RDF
28	Anton Wijs, Dragan Bosnacki	Improving GPU Sparse Matrix-Vector Multiplication for Probabilistic Model Checking.	SPIN	2012	DBLP DOI BibTeX RDF
28	Jonathan Bogdoll, Alexandre David, Arnd Hartmanns, Holger Hermanns	mctau: Bridging the Gap between Modest and UPPAAL.	SPIN	2012	DBLP DOI BibTeX RDF
28	Andrey Rybalchenko	Towards Automatic Synthesis of Software Verification Tools.	SPIN	2012	DBLP DOI BibTeX RDF
28	Heinz Riener, Görschwin Fey	FAuST: A Framework for Formal Verification, Automated Debugging, and Software Test Generation.	SPIN	2012	DBLP DOI BibTeX RDF
28	Jürgen Christ, Jochen Hoenicke, Alexander Nutz	SMTInterpol: An Interpolating SMT Solver.	SPIN	2012	DBLP DOI BibTeX RDF
28	Andreas Zeller	Mining Models.	SPIN	2012	DBLP DOI BibTeX RDF
28	Stefan Leue, Mitra Tabaei Befrouei	Counterexample Explanation by Anomaly Detection.	SPIN	2012	DBLP DOI BibTeX RDF
28	Theo C. Ruys, Pim Kars	Gossiping Girls Are All Alike.	SPIN	2012	DBLP DOI BibTeX RDF
28	Hao Zheng 0001, Emmanuel Rodriguez, Yingying Zhang, Chris J. Myers	A Compositional Minimization Approach for Large Asynchronous Design Verification.	SPIN	2012	DBLP DOI BibTeX RDF
28	Martin Sulzmann, Axel Zechner	Model Checking DSL-Generated C Source Code.	SPIN	2012	DBLP DOI BibTeX RDF
28	Paul Dan Marinescu, Cristian Cadar	High-Coverage Symbolic Patch Testing.	SPIN	2012	DBLP DOI BibTeX RDF
28	Divjyot Sethi, Muralidhar Talupur, Daniel Schwartz-Narbonne, Sharad Malik	Parameterized Model Checking of Fine Grained Concurrency.	SPIN	2012	DBLP DOI BibTeX RDF
28	Alex Groce, Madanlal Musuvathi (eds.)	Model Checking Software - 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings	SPIN	2011	DBLP DOI BibTeX RDF
28	Husain Aljazzar, Florian Leitner-Fischer, Stefan Leue, Dimitar Simeonov	DiPro - A Tool for Probabilistic Counterexample Generation.	SPIN	2011	DBLP DOI BibTeX RDF
28	Abhishek Udupa, Ankush Desai, Sriram K. Rajamani	Depth Bounded Explicit-State Model Checking.	SPIN	2011	DBLP DOI BibTeX RDF
28	Pavel Parízek, Ondrej Lhoták	Randomized Backtracking in State Space Traversal.	SPIN	2011	DBLP DOI BibTeX RDF
28	Alfons Laarman, Jaco van de Pol, Michael Weber 0002	Parallel Recursive State Compression for Free.	SPIN	2011	DBLP DOI BibTeX RDF
28	Fang Yu 0001, Tevfik Bultan, Ben Hardekopf	String Abstractions for String Verification.	SPIN	2011	DBLP DOI BibTeX RDF
28	Andreas Morgenstern, Klaus Schneider 0001	Program Sketching via CTL* Model Checking.	SPIN	2011	DBLP DOI BibTeX RDF
28	Jasmin Fisher	Model Checking Cell Fate Decisions.	SPIN	2011	DBLP DOI BibTeX RDF
28	Jirí Simsa, Randy Bryant, Garth A. Gibson	dBug: Systematic Testing of Unmodified Distributed and Multi-threaded Systems.	SPIN	2011	DBLP DOI BibTeX RDF
28	Markus Weißmann, Stefan Bedenk, Christian Buckl, Alois C. Knoll	Model Checking Industrial Robot Systems.	SPIN	2011	DBLP DOI BibTeX RDF
28	Yogesh Mali, Eric Van Wyk	Building Extensible Specifications and Implementations of Promela with AbleP.	SPIN	2011	DBLP DOI BibTeX RDF
28	Radu Mateescu 0001, Anton Wijs	Property-Dependent Reductions for the Modal Mu-Calculus.	SPIN	2011	DBLP DOI BibTeX RDF
28	Alexander Linden 0001, Pierre Wolper	A Verification-Based Approach to Memory Fence Insertion in Relaxed Memory Systems.	SPIN	2011	DBLP DOI BibTeX RDF
28	Daniele Campana, Alessandro Cimatti, Iman Narasamdya, Marco Roveri	An Analytic Evaluation of SystemC Encodings in Promela.	SPIN	2011	DBLP DOI BibTeX RDF
28	Jaco van de Pol, Michael Weber 0002 (eds.)	Model Checking Software - 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings	SPIN	2010	DBLP DOI BibTeX RDF
28	Maja Pesic, Dragan Bosnacki, Wil M. P. van der Aalst	Enacting Declarative Languages Using LTL: Avoiding Errors and Improving Performance.	SPIN	2010	DBLP DOI BibTeX RDF
28	Darren D. Cofer	Model Checking: Cleared for Take Off.	SPIN	2010	DBLP DOI BibTeX RDF
28	Matthew Hague, C.-H. Luke Ong	Analysing Mu-Calculus Properties of Pushdown Systems.	SPIN	2010	DBLP DOI BibTeX RDF
28	Georgel Calin, Pepijn Crouzen, Pedro R. D'Argenio, Ernst Moritz Hahn, Lijun Zhang 0001	Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains.	SPIN	2010	DBLP DOI BibTeX RDF
28	Alessandro Cimatti	SMT-Based Software Model Checking.	SPIN	2010	DBLP DOI BibTeX RDF
28	Zhe Chen 0011, Gilles Motet	Nevertrace Claims for Model Checking.	SPIN	2010	DBLP DOI BibTeX RDF
28	Alexander Linden 0001, Pierre Wolper	An Automata-Based Symbolic Approach for Verifying Programs on Relaxed Memory Models.	SPIN	2010	DBLP DOI BibTeX RDF
28	Jan Tobias Mühlberg, Gerald Lüttgen	Symbolic Object Code Analysis.	SPIN	2010	DBLP DOI BibTeX RDF
28	Rüdiger Ehlers, Bernd Finkbeiner	On the Virtue of Patience: Minimizing Büchi Automata.	SPIN	2010	DBLP DOI BibTeX RDF
28	Martin Wehrle, Sebastian Kupferschmid	Context-Enhanced Directed Model Checking.	SPIN	2010	DBLP DOI BibTeX RDF
28	Stefan Edelkamp, Damian Sulewski	Efficient Explicit-State Model Checking on General Purpose Graphics Processors.	SPIN	2010	DBLP DOI BibTeX RDF
28	Naghmeh Ghafari, Alan J. Hu, Zvonimir Rakamaric	Context-Bounded Translations for Concurrent Software: An Empirical Evaluation.	SPIN	2010	DBLP DOI BibTeX RDF
28	Javier Esparza	A False History of True Concurrency: From Petri to Tools.	SPIN	2010	DBLP DOI BibTeX RDF
28	Nicholas Kidd, Suresh Jagannathan, Jan Vitek	One Stack to Run Them All - Reducing Concurrent Analysis to Sequential Analysis under Priority Scheduling.	SPIN	2010	DBLP DOI BibTeX RDF
28	Marc de Jonge, Theo C. Ruys	The SpinJa Model Checker.	SPIN	2010	DBLP DOI BibTeX RDF
28	Kari Kähkönen, Roland Kindermann, Keijo Heljanko, Ilkka Niemelä	Experimental Comparison of Concolic and Random Testing for Java Card Applets.	SPIN	2010	DBLP DOI BibTeX RDF
28	Kenro Yatake, Toshiaki Aoki	Automatic Generation of Model Checking Scripts Based on Environment Modeling.	SPIN	2010	DBLP DOI BibTeX RDF
28	Corina S. Pasareanu (eds.)	Model Checking Software, 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings	SPIN	2009	DBLP DOI BibTeX RDF
28	Peter C. Dillinger, Panagiotis Manolios	Fast, All-Purpose State Storage.	SPIN	2009	DBLP DOI BibTeX RDF
28	Dragan Bosnacki, Stefan Edelkamp, Damian Sulewski	Efficient Probabilistic Model Checking on General Purpose Graphics Processors.	SPIN	2009	DBLP DOI BibTeX RDF
28	Marta Z. Kwiatkowska	On Quantitative Software Verification.	SPIN	2009	DBLP DOI BibTeX RDF
28	Joseph Sifakis	The Quest for Correctness-Beyond a Posteriori Verification.	SPIN	2009	DBLP DOI BibTeX RDF
28	Hubert Garavel, Damien Thivolle	Verification of GALS Systems by Combining Synchronous Languages and Process Calculi.	SPIN	2009	DBLP DOI BibTeX RDF
28	Ernst Moritz Hahn, Holger Hermanns, Lijun Zhang 0001	Probabilistic Reachability for Parametric Markov Models.	SPIN	2009	DBLP DOI BibTeX RDF
28	Radek Pelánek, Václav Rosecký	EMMA: Explicit Model Checking Manager (Tool Presentation).	SPIN	2009	DBLP DOI BibTeX RDF
28	Willem Visser	Who Really Cares If the Program Crashes?.	SPIN	2009	DBLP DOI BibTeX RDF
28	Andrey Rybalchenko, Rishabh Singh	Subsumer-First: Steering Symbolic Reachability Analysis.	SPIN	2009	DBLP DOI BibTeX RDF
28	Malay K. Ganai, Sudipta Kundu	Reduction of Verification Conditions for Concurrent System Using Mutually Atomic Transactions.	SPIN	2009	DBLP DOI BibTeX RDF
28	Junghee Lim, Akash Lal, Thomas W. Reps	Symbolic Analysis via Semantic Reinterpretation.	SPIN	2009	DBLP DOI BibTeX RDF
28	Alexander Heußner, Tristan Le Gall, Grégoire Sutre	Extrapolation-Based Path Invariants for Abstraction Refinement of Fifo Systems.	SPIN	2009	DBLP DOI BibTeX RDF
28	Nicholas Kidd, Peter Lammich, Tayssir Touili, Thomas W. Reps	A Decision Procedure for Detecting Atomicity Violations for Communicating Processes with Locks.	SPIN	2009	DBLP DOI BibTeX RDF
28	Yu Yang 0013, Xiaofang Chen, Ganesh Gopalakrishnan, Chao Wang 0001	Automatic Discovery of Transition Symmetry in Multithreaded Programs Using Dynamic Analysis.	SPIN	2009	DBLP DOI BibTeX RDF