Search results for "model checking software"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Matthias Kuntz, Markus Siegle	Symbolic Model Checking of Stochastic Systems: Theory and Implementation.	SPIN	2006	DBLP DOI BibTeX RDF	performance and dependability analysis, model checking software, symbolic model checking, Stochastic systems
2	Anna Zaks, Rajeev Joshi	Verifying Multi-threaded C Programs with SPIN.	SPIN	2008	DBLP DOI BibTeX RDF
2	Cormac Flanagan, Patrice Godefroid	Dynamic partial-order reduction for model checking software.	POPL	2005	DBLP DOI BibTeX RDF	software model checking, partial-order reduction
2	Gerard J. Holzmann, Rajeev Joshi	Model-Driven Software Verification.	SPIN	2004	DBLP DOI BibTeX RDF
2	Peter Leven, Tilman Mehler, Stefan Edelkamp	Directed Error Detection in C++ with the Assembly-Level Model Checker StEAM.	SPIN	2004	DBLP DOI BibTeX RDF
2	Yunja Choi, Sanjai Rayadurgam, Mats Per Erik Heimdahl	Automatic abstraction for model checking software systems with interrelated numeric constraints.	ESEC / SIGSOFT FSE	2001	DBLP DOI BibTeX RDF	domain abstraction, model checking software systems, numeric constraints
1	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
1	Yogesh Mali, Eric Van Wyk	Building Extensible Specifications and Implementations of Promela with AbleP.	SPIN	2011	DBLP DOI BibTeX RDF
1	Abhishek Udupa, Ankush Desai, Sriram Rajamani	Depth Bounded Explicit-State Model Checking.	SPIN	2011	DBLP DOI BibTeX RDF
1	Jirí Simsa, Randy Bryant, Garth A. Gibson	dBug: Systematic Testing of Unmodified Distributed and Multi-threaded Systems.	SPIN	2011	DBLP DOI BibTeX RDF
1	Fang Yu, Tevfik Bultan, Ben Hardekopf	String Abstractions for String Verification.	SPIN	2011	DBLP DOI BibTeX RDF
1	Jasmin Fisher	Model Checking Cell Fate Decisions.	SPIN	2011	DBLP DOI BibTeX RDF
1	Husain Aljazzar, Florian Leitner-Fischer, Stefan Leue, Dimitar Simeonov	DiPro - A Tool for Probabilistic Counterexample Generation.	SPIN	2011	DBLP DOI BibTeX RDF
1	Andreas Morgenstern, Klaus Schneider	Program Sketching via CTL* Model Checking.	SPIN	2011	DBLP DOI BibTeX RDF
1	Pavel Parizek, Ondrej Lhoták	Randomized Backtracking in State Space Traversal.	SPIN	2011	DBLP DOI BibTeX RDF
1	Bob de Vos, Lennart C. L. Kats, Cornelis Pronk	EpiSpin: An Eclipse Plug-In for Promela/Spin Using Spoofax.	SPIN	2011	DBLP DOI BibTeX RDF
1	Alfons Laarman, Jaco van de Pol, Michael Weber 0002	Parallel Recursive State Compression for Free.	SPIN	2011	DBLP DOI BibTeX RDF
1	Radu Mateescu, Anton Wijs	Property-Dependent Reductions for the Modal Mu-Calculus.	SPIN	2011	DBLP DOI BibTeX RDF
1	Daniele Campana, Alessandro Cimatti, Iman Narasamdya, Marco Roveri	An Analytic Evaluation of SystemC Encodings in Promela.	SPIN	2011	DBLP DOI BibTeX RDF
1	Markus Weißmann, Stefan Bedenk, Christian Buckl, Alois Knoll	Model Checking Industrial Robot Systems.	SPIN	2011	DBLP DOI BibTeX RDF
1	Alexander Linden, Pierre Wolper	A Verification-Based Approach to Memory Fence Insertion in Relaxed Memory Systems.	SPIN	2011	DBLP DOI BibTeX RDF
1	Pengcheng Zhang, Henry Muccini, Bixin Li	A classification and comparison of model checking software architecture techniques.	Journal of Systems and Software	2010	DBLP DOI BibTeX RDF
1	Dragan Bosnacki, Stefan Edelkamp	Model checking software: on some new waves and some evergreens.	STTT	2010	DBLP DOI BibTeX RDF
1	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
1	Georgel Calin, Pepijn Crouzen, Pedro R. D'Argenio, Ernst Moritz Hahn, Lijun Zhang	Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains.	SPIN	2010	DBLP DOI BibTeX RDF
1	Jan Tobias Mühlberg, Gerald Lüttgen	Symbolic Object Code Analysis.	SPIN	2010	DBLP DOI BibTeX RDF
1	Alexander Linden, Pierre Wolper	An Automata-Based Symbolic Approach for Verifying Programs on Relaxed Memory Models.	SPIN	2010	DBLP DOI BibTeX RDF
1	Kenro Yatake, Toshiaki Aoki	Automatic Generation of Model Checking Scripts Based on Environment Modeling.	SPIN	2010	DBLP DOI BibTeX RDF
1	Martin Wehrle, Sebastian Kupferschmid	Context-Enhanced Directed Model Checking.	SPIN	2010	DBLP DOI BibTeX RDF
1	Zhe Chen, Gilles Motet	Nevertrace Claims for Model Checking.	SPIN	2010	DBLP DOI BibTeX RDF
1	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
1	Stefan Edelkamp, Damian Sulewski	Efficient Explicit-State Model Checking on General Purpose Graphics Processors.	SPIN	2010	DBLP DOI BibTeX RDF
1	Pedro Merino, Alberto Salmeron	Combining SPIN with ns-2 for Protocol Optimization.	SPIN	2010	DBLP DOI BibTeX RDF
1	Javier Esparza	A False History of True Concurrency: From Petri to Tools.	SPIN	2010	DBLP DOI BibTeX RDF
1	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
1	Alessandro Cimatti	SMT-Based Software Model Checking.	SPIN	2010	DBLP DOI BibTeX RDF
1	Darren D. Cofer	Model Checking: Cleared for Take Off.	SPIN	2010	DBLP DOI BibTeX RDF
1	Marc de Jonge, Theo C. Ruys	The SpinJa Model Checker.	SPIN	2010	DBLP DOI BibTeX RDF
1	Rüdiger Ehlers, Bernd Finkbeiner	On the Virtue of Patience: Minimizing Büchi Automata.	SPIN	2010	DBLP DOI BibTeX RDF
1	Matthew Hague, C.-H. Luke Ong	Analysing Mu-Calculus Properties of Pushdown Systems.	SPIN	2010	DBLP DOI BibTeX RDF
1	Naghmeh Ghafari, Alan J. Hu, Zvonimir Rakamaric	Context-Bounded Translations for Concurrent Software: An Empirical Evaluation.	SPIN	2010	DBLP DOI BibTeX RDF
1	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
1	Abdelaziz Fellah	Time and alternation: an automata based framework to software model checking.	SAC	2010	DBLP DOI BibTeX RDF	software verification and testing, timed alternating and buchi automata, timed temporal propositional logic, software model checking
1	Corina S. Pasareanu (eds.)	Model Checking Software, 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings	SPIN	2009	DBLP DOI BibTeX RDF
1	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
1	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
1	Andrey Rybalchenko, Rishabh Singh	Subsumer-First: Steering Symbolic Reachability Analysis.	SPIN	2009	DBLP DOI BibTeX RDF
1	Martin T. Vechev, Eran Yahav, Greta Yorsh	Experience with Model Checking Linearizability.	SPIN	2009	DBLP DOI BibTeX RDF
1	Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Chao Wang	Automatic Discovery of Transition Symmetry in Multithreaded Programs Using Dynamic Analysis.	SPIN	2009	DBLP DOI BibTeX RDF
1	Peter C. Dillinger, Panagiotis Manolios	Fast, All-Purpose State Storage.	SPIN	2009	DBLP DOI BibTeX RDF
1	Marta Z. Kwiatkowska	On Quantitative Software Verification.	SPIN	2009	DBLP DOI BibTeX RDF
1	Hubert Garavel, Damien Thivolle	Verification of GALS Systems by Combining Synchronous Languages and Process Calculi.	SPIN	2009	DBLP DOI BibTeX RDF
1	Willem Visser	Who Really Cares If the Program Crashes?.	SPIN	2009	DBLP DOI BibTeX RDF
1	Patrice Godefroid	Software Model Checking Improving Security of a Billion Computers.	SPIN	2009	DBLP DOI BibTeX RDF
1	Tim Kovse, Bostjan Vlaovic, Aleksander Vreze, Zmago Brezocnik	Eclipse Plug-In for Spin and st2msc Tools-Tool Presentation.	SPIN	2009	DBLP DOI BibTeX RDF
1	Sebastian Schmerl, Michael Vogel, Hartmut König	Identifying Modeling Errors in Signatures by Model Checking.	SPIN	2009	DBLP DOI BibTeX RDF	Attack Signatures, Intrusion Detection, Computer Security, Signature Verification, Misuse Detection, Promela, Spin model checker
1	Mordechai Ben-Ari	Tool Presentation: Teaching Concurrency and Model Checking.	SPIN	2009	DBLP DOI BibTeX RDF
1	Ernst Moritz Hahn, Holger Hermanns, Lijun Zhang	Probabilistic Reachability for Parametric Markov Models.	SPIN	2009	DBLP DOI BibTeX RDF
1	Malay K. Ganai, Sudipta Kundu	Reduction of Verification Conditions for Concurrent System Using Mutually Atomic Transactions.	SPIN	2009	DBLP DOI BibTeX RDF
1	David Faragó, Peter H. Schmitt	Improving Non-Progress Cycle Checks.	SPIN	2009	DBLP DOI BibTeX RDF	Non-progress cycles, Model Checking, SPIN, partial order reduction, depth-first search, livelocks
1	Dragan Bosnacki, Stefan Edelkamp, Damian Sulewski	Efficient Probabilistic Model Checking on General Purpose Graphics Processors.	SPIN	2009	DBLP DOI BibTeX RDF
1	Oliver Sharma, Jonathan Lewis, Alice Miller, Alan Dearle, Dharini Balasubramaniam, Ronald Morrison, Joe Sventek	Towards Verifying Correctness of Wireless Sensor Network Applications Using Insense and Spin.	SPIN	2009	DBLP DOI BibTeX RDF	Wireless Sensor Networks, Distributed systems, Concurrency, Formal Modelling
1	Radek Pelánek, Václav Rosecký	EMMA: Explicit Model Checking Manager (Tool Presentation).	SPIN	2009	DBLP DOI BibTeX RDF
1	Joseph Sifakis	The Quest for Correctness-Beyond a Posteriori Verification.	SPIN	2009	DBLP DOI BibTeX RDF
1	Neha Rungta, Eric G. Mercer, Willem Visser	Efficient Testing of Concurrent Programs with Abstraction-Guided Symbolic Execution.	SPIN	2009	DBLP DOI BibTeX RDF
1	Junghee Lim, Akash Lal, Thomas W. Reps	Symbolic Analysis via Semantic Reinterpretation.	SPIN	2009	DBLP DOI BibTeX RDF
1	Alexander Gruler, Martin Leucker, Kathrin D. Scheidemann	Modeling and Model Checking Software Product Lines.	FMOODS	2008	DBLP DOI BibTeX RDF
1	Klaus Havelund, Rupak Majumdar, Jens Palsberg (eds.)	Model Checking Software, 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings	SPIN	2008	DBLP BibTeX RDF
1	Malay K. Ganai, Aarti Gupta	Efficient Modeling of Concurrent Systems in BMC.	SPIN	2008	DBLP DOI BibTeX RDF
1	Gaurav Singh, Sandeep K. Shukla	Verifying Compiler Based Refinement of BluespecTM.	SPIN	2008	DBLP DOI BibTeX RDF	Bluespec System Verilog (BSV), Formal Verification, Hardware Designs, SPIN Model Checker
1	Harald Fecher, Sharon Shoham	State Focusing: Lazy Abstraction for the Mu-Calculus.	SPIN	2008	DBLP DOI BibTeX RDF
1	Radu Mateescu, Emilie Oudot	Improved On-the-Fly Equivalence Checking Using Boolean Equation Systems.	SPIN	2008	DBLP DOI BibTeX RDF
1	Dries Vanoverberghe, Nikolaj Bjørner, Jonathan de Halleux, Wolfram Schulte, Nikolai Tillmann	Using Dynamic Symbolic Execution to Improve Deductive Verification.	SPIN	2008	DBLP DOI BibTeX RDF
1	Todd R. Andel, Alec Yasinsac	Automated Evaluation of Secure Route Discovery in MANET Protocols.	SPIN	2008	DBLP DOI BibTeX RDF
1	Matthew B. Dwyer, Rahul Purandare	Residual Checking of Safety Properties.	SPIN	2008	DBLP DOI BibTeX RDF
1	Moonzoo Kim, Yunja Choi, Yunho Kim, Hotae Kim	Formal Verification of a Flash Memory Device Driver - An Experience Report.	SPIN	2008	DBLP DOI BibTeX RDF
1	Viet Yen Nguyen, Theo C. Ruys	Incremental Hashing for Spin.	SPIN	2008	DBLP DOI BibTeX RDF
1	Fang Yu, Tevfik Bultan, Marco Cova, Oscar H. Ibarra	Symbolic String Verification: An Automata-Based Approach.	SPIN	2008	DBLP DOI BibTeX RDF
1	Gerard J. Holzmann, Rajeev Joshi, Alex Groce	Tackling Large Verification Problems with the Swarm Tool.	SPIN	2008	DBLP DOI BibTeX RDF
1	Stefan Leue, Alin Stefanescu, Wei Wei	Dependency Analysis for Control Flow Cycles in Reactive Communicating Processes.	SPIN	2008	DBLP DOI BibTeX RDF
1	Sami Evangelista	Dynamic Delayed Duplicate Detection for External Memory Model Checking.	SPIN	2008	DBLP DOI BibTeX RDF
1	Tonglaga Bao, Michael Jones	Model Checking Abstract Components within Concrete Software Environments.	SPIN	2008	DBLP DOI BibTeX RDF
1	Yannis Smaragdakis	Combining Static and Dynamic Reasoning for the Discovery of Program Properties.	SPIN	2008	DBLP DOI BibTeX RDF
1	Frank Ciesinski, Christel Baier, Marcus Größer, David Parker	Generating Compact MTBDD-Representations from ProbmelaSpecifications.	SPIN	2008	DBLP DOI BibTeX RDF
1	Peter Lamborn, Eric A. Hansen	Layered Duplicate Detection in External-Memory Model Checking.	SPIN	2008	DBLP DOI BibTeX RDF
1	Nazha Abed, Stavros Tripakis, Jean-Marc Vincent	Resource-Aware Verification Using Randomized Exploration of Large State Spaces.	SPIN	2008	DBLP DOI BibTeX RDF
1	Shaz Qadeer	The Case for Context-Bounded Verification of Concurrent Programs.	SPIN	2008	DBLP DOI BibTeX RDF
1	Dejvuth Suwimonteerabuth, Javier Esparza, Stefan Schwoon	Symbolic Context-Bounded Analysis of Multithreaded Java Programs.	SPIN	2008	DBLP DOI BibTeX RDF
1	Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby	Efficient Stateful Dynamic Partial Order Reduction.	SPIN	2008	DBLP DOI BibTeX RDF
1	Rachid Guerraoui, Thomas A. Henzinger, Barbara Jobstmann, Vasu Singh	Model checking transactional memories.	PLDI	2008	DBLP DOI BibTeX RDF	model checking, transactional memories
1	Florian Letombe, João Marques-Silva	Improvements to Hybrid Incremental SAT Algorithms.	SAT	2008	DBLP DOI BibTeX RDF
1	Edmund M. Clarke, Flavio Lerda	Model Checking: Software and Beyond.	J. UCS	2007	DBLP BibTeX RDF
1	Glauber Ferreira, Emerson Loureiro, Elthon A. S. Oliveira	A Java code annotation approach for model checking software systems.	SAC	2007	DBLP DOI BibTeX RDF
1	Dragan Bosnacki, Stefan Edelkamp (eds.)	Model Checking Software, 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings	SPIN	2007	DBLP BibTeX RDF
1	Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg, Felix Rauch	Model Checking Software at Compile Time.	TASE	2007	DBLP DOI BibTeX RDF
1	Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby	Distributed Dynamic Partial Order Reduction Based Verification of Threaded Software.	SPIN	2007	DBLP DOI BibTeX RDF
1	Alberto Lluch-Lafuente	Towards Model Checking Spatial Properties with SPIN.	SPIN	2007	DBLP DOI BibTeX RDF
1	Guy Gueta, Cormac Flanagan, Eran Yahav, Mooly Sagiv	Cartesian Partial-Order Reduction.	SPIN	2007	DBLP DOI BibTeX RDF
1	Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino	Model Extraction for ARINC 653 Based Avionics Software.	SPIN	2007	DBLP DOI BibTeX RDF	apex, Real Time, software model checking, avionics, Model extraction
1	Paul Gastin, Pierre Moro	Minimal Counterexample Generation for SPIN.	SPIN	2007	DBLP DOI BibTeX RDF