Search results for "Software model checking"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	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
3	Ranjit Jhala, Rupak Majumdar	Software model checking.	ACM Comput. Surv.	2009	DBLP DOI BibTeX RDF	counterexample-guided refinement, enumerative and symbolic model checking, abstraction, safety, liveness, Software model checking
3	Paul T. Darga, Chandrasekhar Boyapati	Efficient software model checking of data structure properties.	OOPSLA	2006	DBLP DOI BibTeX RDF	program analysis, software model checking
2	Matthias Heizmann, Jochen Hoenicke, Andreas Podelski	Nested interpolants.	POPL	2010	DBLP DOI BibTeX RDF	floyd-hoare logic, nested words, static analysis, interpolants, abstract interpretation, recursion, software model checking, abstraction refinement
2	Patrice Godefroid	Software Model Checking Improving Security of a Billion Computers.	SPIN	2009	DBLP DOI BibTeX RDF
2	Aleksandr Zaks, Zijiang Yang, Ilya Shlyakhter, Franjo Ivancic, Srihari Cadambi, Malay K. Ganai, Aarti Gupta, Pranav Ashar	Bitwidth Reduction via Symbolic Interval Analysis for Software Model Checking.	IEEE Trans. on CAD of Integrated Circuits and Systems	2008	DBLP DOI BibTeX RDF
2	Adam Bakewell, Dan R. Ghica	On-the-Fly Techniques for Game-Based Software Model Checking.	TACAS	2008	DBLP DOI BibTeX RDF
2	Michael Roberson, Melanie Harries, Paul T. Darga, Chandrasekhar Boyapati	Efficient software model checking of soundness of type systems.	OOPSLA	2008	DBLP DOI BibTeX RDF	software model checking, type soundness
2	María-del-Mar Gallardo, Pedro Merino, David Sanán	Model Checking C Programs with Dynamic Memory Allocation.	COMPSAC	2008	DBLP DOI BibTeX RDF	software model checking, pointers, dynamic memory, Model extraction
2	Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe	Architecture-aware Partial Order Reduction to Accelerate Model Checking of Networked Programs.	SNPD	2008	DBLP DOI BibTeX RDF	optimization, model checking, centralization, Software model checking, partial-order reduction
2	Andreas Podelski, Andrey Rybalchenko	ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement.	PADL	2007	DBLP DOI BibTeX RDF
2	Graham Hughes, Tevfik Bultan	Interface grammars for modular software model checking.	ISSTA	2007	DBLP DOI BibTeX RDF	interface grammars, model checking, modular verification
2	Oksana Tkachuk, Sreeranga P. Rajan	Combining environment generation and slicing for modular software model checking.	ASE	2007	DBLP DOI BibTeX RDF	environment generation, modular model checking, slicing
2	Nikolaj Bjørner	Models and Software Model Checking of a Distributed File Replication System.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF
2	Matthew B. Dwyer, John Hatcliff, Robby, Corina S. Pasareanu, Willem Visser	Formal Software Analysis Emerging Trends in Software Model Checking.	FOSE	2007	DBLP DOI BibTeX RDF
2	Cyrille Artho, Boris Zweimüller, Armin Biere, Etsuya Shibayama, Shinichi Honiden	Efficient Model Checking of Applications with Input/Output.	EUROCAST	2007	DBLP DOI BibTeX RDF	software testing, Software model checking, network communication
2	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
2	Neha Rungta, Eric G. Mercer	An Improved Distance Heuristic Function for Directed Software Model Checking.	FMCAD	2006	DBLP DOI BibTeX RDF
2	Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino	Abstract Matching for Software Model Checking.	SPIN	2006	DBLP DOI BibTeX RDF	Static Analysis, State Explosion, Model Extraction
2	Aleksandar Dimovski, Dan R. Ghica, Ranko Lazic	A Counterexample-Guided Refinement Tool for Open Procedural Programs.	SPIN	2006	DBLP DOI BibTeX RDF	CSP, software model checking, game semantics, abstraction refinement, FDR
2	Patrice Godefroid	Software Model Checking: The VeriSoft Approach.	Formal Methods in System Design	2005	DBLP DOI BibTeX RDF	program verification, software model checking, systematic testing
2	Patrice Godefroid, Nils Klarlund	Software Model Checking: Searching for Computations in the Abstract or the Concrete.	IFM	2005	DBLP DOI BibTeX RDF
2	Tevfik Bultan, Aysu Betin-Can	Scalable Software Model Checking Using Design for Verification.	VSTTE	2005	DBLP DOI BibTeX RDF
2	Thomas Ball, Todd D. Millstein, Sriram K. Rajamani	Polymorphic predicate abstraction.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	polymorphism, Software model checking, predicate abstraction
2	Natasha Sharygina, Sagar Chaki, Edmund M. Clarke, Nishant Sinha	Dynamic Component Substitutability Analysis.	FM	2005	DBLP DOI BibTeX RDF	Verification of Evolving Software, Learning Regular Sets, Assume/Guarantee Reasoning, Software Model Checking
2	Sagar Chaki, Edmund M. Clarke, Orna Grumberg, Joël Ouaknine, Natasha Sharygina, Tayssir Touili, Helmut Veith	State/Event Software Verification for Branching-Time Specifications.	IFM	2005	DBLP DOI BibTeX RDF	Concurrent Software Model Checking, State/Event-based Verification, Branching-time Temporal Logic, Automated Abstraction Refinement
2	Alessandro Armando, Claudio Castellini, Jacopo Mantovani	Software Model Checking Using Linear Constraints.	ICFEM	2004	DBLP DOI BibTeX RDF
2	Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff, Robby	A Flexible Framework for the Estimation of Coverage Metrics in Explicit State Software Model Checking.	CASSIS	2004	DBLP DOI BibTeX RDF
2	Dawson R. Engler, Madanlal Musuvathi	Static Analysis versus Software Model Checking for Bug Finding.	VMCAI	2004	DBLP DOI BibTeX RDF
2	Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar	Race checking by context inference.	PLDI	2004	DBLP DOI BibTeX RDF	software model checking, race conditions
2	Andreas Podelski	Software Model Checking with Abstraction Refinement.	VMCAI	2003	DBLP DOI BibTeX RDF
2	Cormac Flanagan	Automatic Software Model Checking Using CLP.	ESOP	2003	DBLP DOI BibTeX RDF
2	Thomas Ball, Andreas Podelski, Sriram K. Rajamani	Relative Completeness of Abstraction Refinement for Software Model Checking.	TACAS	2002	DBLP DOI BibTeX RDF
2	Radu Iosif	Symmetry Reduction Criteria for Software Model Checking.	SPIN	2002	DBLP DOI BibTeX RDF
2	Satish Chandra, Patrice Godefroid, Christopher Palm	Software model checking in practice: an industrial case study.	ICSE	2002	DBLP DOI BibTeX RDF
1	Rajeev Alur, Swarat Chaudhuri, P. Madhusudan	Software model checking using languages of nested trees.	ACM Trans. Program. Lang. Syst.	2011	DBLP DOI BibTeX RDF
1	Thomas Ball, Vladimir Levin, Sriram K. Rajamani	A decade of software model checking with SLAM.	Commun. ACM	2011	DBLP DOI BibTeX RDF
1	Salamah Salamah, Ann Q. Gates, Steve Roach, Matthew Engskow	Towards Support for Software Model Checking: Improving the Efficiency of Formal Specifications.	Adv. Software Engineering	2011	DBLP DOI BibTeX RDF
1	Corina S. Pasareanu	New results in software model checking and analysis.	STTT	2011	DBLP DOI BibTeX RDF
1	Huayang Guo, Ming Wu, Lidong Zhou, Gang Hu, Junfeng Yang, Lintao Zhang	Practical software model checking via dynamic interface reduction.	SOSP	2011	DBLP DOI BibTeX RDF
1	Nuno P. Lopes, Andrey Rybalchenko	Distributed and Predictable Software Model Checking.	VMCAI	2011	DBLP DOI BibTeX RDF
1	Mohamed Nassim Seghir	Abstraction refinement techniques for software model checking.		2010	RDF
1	Sagar Chaki, James Ivers	Software model checking without source code.	ISSE	2010	DBLP DOI BibTeX RDF
1	Steven P. Miller, Michael W. Whalen, Darren D. Cofer	Software model checking takes off.	Commun. ACM	2010	DBLP DOI BibTeX RDF
1	Arie Gurfinkel, Sagar Chaki	Combining predicate and numeric abstraction for software model checking.	STTT	2010	DBLP DOI BibTeX RDF
1	Franjo Ivancic, Malay K. Ganai, Sriram Sankaranarayanan, Aarti Gupta	Numerical stability analysis of floating-point computations using software model checking.	MEMOCODE	2010	DBLP DOI BibTeX RDF
1	Alessandro Cimatti, Andrea Micheli, Iman Narasamdya, Marco Roveri	Verifying SystemC: A software model checking approach.	FMCAD	2010	DBLP BibTeX RDF
1	Alessandro Cimatti	SMT-Based Software Model Checking.	SPIN	2010	DBLP DOI BibTeX RDF
1	Michael Roberson, Chandrasekhar Boyapati	Efficient modular glass box software model checking.	OOPSLA	2010	DBLP DOI BibTeX RDF
1	Anshuman Mukherjee, Zahir Tari, Peter Bertók	Memory efficient state-space analysis in software model-checking.	ACSC	2010	DBLP BibTeX RDF
1	Aditya V. Nori, Sriram K. Rajamani	An empirical study of optimizations in YOGI.	ICSE	2010	DBLP DOI BibTeX RDF	testing, software model checking, abstraction refinement, directed testing
1	Patrice Godefroid, Aditya V. Nori, Sriram K. Rajamani, SaiDeep Tetali	Compositional may-must program analysis: unleashing the power of alternation.	POPL	2010	DBLP DOI BibTeX RDF	software model checking, abstraction refinement, directed testing
1	Nels E. Beckman, Aditya V. Nori, Sriram K. Rajamani, Robert J. Simmons, SaiDeep Tetali, Aditya V. Thakur	Proofs from Tests.	IEEE Trans. Software Eng.	2010	DBLP DOI BibTeX RDF	Software model checking, abstraction refinement, directed testing
1	Michael Emmi, Rupak Majumdar, Roman Manevich	Parameterized verification of transactional memories.	PLDI	2010	DBLP DOI BibTeX RDF	parameterized verification, transactional memory
1	Dirk Beyer, Alessandro Cimatti, Alberto Griggio, M. Erkan Keremoglu, Roberto Sebastiani	Software Model Checking via Large-Block Encoding	CoRR	2009	DBLP BibTeX RDF
1	Hendrik Post, Carsten Sinz, Wolfgang Küchlin	Towards automatic software model checking of thousands of Linux modules - a case study with Avinux.	Softw. Test., Verif. Reliab.	2009	DBLP DOI BibTeX RDF
1	Antti Valmari	Software model checking is a rich research field.	STTT	2009	DBLP DOI BibTeX RDF	Distributed model checking, Directed model checking, Satisfiability, Symbolic execution, Bounded model checking, State space, Partial-order methods
1	Haruhiko Sato, Shoichi Yokoyama, Masahito Kurihara	User-Friendly GUI in Software Model Checking.	SMC	2009	DBLP DOI BibTeX RDF
1	Viet Yen Nguyen, Theo C. Ruys	Memoised Garbage Collection for Software Model Checking.	TACAS	2009	DBLP DOI BibTeX RDF
1	Dirk Beyer, Alessandro Cimatti, Alberto Griggio, M. Erkan Keremoglu, Roberto Sebastiani	Software model checking via large-block encoding.	FMCAD	2009	DBLP DOI BibTeX RDF
1	Abdelaziz Fellah	Timed state-event automata and alternation for software model checking.	IADIS AC	2009	DBLP BibTeX RDF
1	Zijiang Yang, Bashar Al-Rawi, Karem A. Sakallah, Xiaowan Huang, Scott A. Smolka, Radu Grosu	Dynamic Path Reduction for Software Model Checking.	IFM	2009	DBLP DOI BibTeX RDF
1	Neha Rungta, Eric G. Mercer	Guided model checking for programs with polymorphism.	PEPM	2009	DBLP DOI BibTeX RDF	error discovery, heuristics, software model checking, guided search
1	Rajeev Alur, P. Madhusudan	Adding nesting structure to words.	J. ACM	2009	DBLP DOI BibTeX RDF	software model checking, tree automata, Pushdown automata, XML processing
1	Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto	Cache-Based Model Checking of Networked Applications: From Linear to Branching Time.	ASE	2009	DBLP DOI BibTeX RDF	networking, caching, software verification, Software model checking, input/output
1	Zijiang Yang, Chao Wang, Aarti Gupta, Franjo Ivancic	Model checking sequential software programs via mixed symbolic analysis.	ACM Trans. Design Autom. Electr. Syst.	2009	DBLP DOI BibTeX RDF	composite symbolic formula, Model checking, binary decision diagram, reachability analysis, presburger arithmetic, image computation
1	Sagar Chaki, Arie Gurfinkel, Ofer Strichman	Decision diagrams for linear arithmetic.	FMCAD	2009	DBLP DOI BibTeX RDF
1	Pavol Cerný, Rajeev Alur	Automated Analysis of Java Methods for Confidentiality.	CAV	2009	DBLP DOI BibTeX RDF
1	Rajeev Alur, Pavol Cerný, Scott Weinstein	Algorithmic Analysis of Array-Accessing Programs.	CSL	2009	DBLP DOI BibTeX RDF
1	Pavel Parizek, Tomas Kalibera	Platform-Specific Restrictions on Concurrency in Model Checking of Java Programs.	FMICS	2009	DBLP DOI BibTeX RDF	restrictions of concurrency, model checking, embedded systems, Java programs, state explosion
1	Alessandro Armando	Building SMT-Based Software Model Checkers: An Experience Report.	FroCos	2009	DBLP DOI BibTeX RDF
1	Mohamed Nassim Seghir, Andreas Podelski, Thomas Wies	Abstraction Refinement for Quantified Array Assertions.	SAS	2009	DBLP DOI BibTeX RDF
1	Ashutosh Gupta, Rupak Majumdar, Andrey Rybalchenko	From Tests to Proofs.	TACAS	2009	DBLP DOI BibTeX RDF
1	Graham Hughes, Tevfik Bultan	Interface Grammars for Modular Software Model Checking.	IEEE Trans. Software Eng.	2008	DBLP DOI BibTeX RDF
1	Thomas E. Hart, Kelvin Ku, Arie Gurfinkel, Marsha Chechik, David Lie	PtYasm: Software Model Checking with Proof Templates.	ASE	2008	DBLP DOI BibTeX RDF
1	Arie Gurfinkel, Sagar Chaki	Combining Predicate and Numeric Abstraction for Software Model Checking.	FMCAD	2008	DBLP DOI BibTeX RDF
1	Ralf Huuck, Ansgar Fehnker, Sean Seefried, Jörg Brauer	Goanna: Syntactic Software Model Checking.	ATVA	2008	DBLP DOI BibTeX RDF
1	James Kapinski, Alexandre Donzé, Flavio Lerda, Hitashyam Maka, Silke Wagner, Bruce H. Krogh	Control software model checking using bisimulation functions for nonlinear systems.	CDC	2008	DBLP DOI BibTeX RDF
1	Jesús Martínez, Cristóbal Jiménez	Software Model Checking for Internet Protocols with Java PathFinder.	MSVVEIS	2008	DBLP BibTeX RDF
1	Nels E. Beckman, Aditya V. Nori, Sriram K. Rajamani, Robert J. Simmons	Proofs from tests.	ISSTA	2008	DBLP DOI BibTeX RDF	abstraction refinemen, software model checking, directed testing
1	Corina S. Pasareanu, Peter C. Mehlitz, David H. Bushnell, Karen Gundy-Burlet, Michael R. Lowry, Suzette Person, Mark Pape	Combining unit-level symbolic execution and system-level concrete execution for testing NASA software.	ISSTA	2008	DBLP DOI BibTeX RDF	unit testing, symbolic execution, software model checking, system testing
1	Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe	Tools and Techniques for Model Checking Networked Programs.	SNPD	2008	DBLP DOI BibTeX RDF	networking, software verification, Software model checking, inter-process communication
1	Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe	Efficient Model Checking of Networked Applications.	TOOLS	2008	DBLP DOI BibTeX RDF	caching, software testing, Software model checking, network communication
1	Patrice Godefroid, Michael Y. Levin, David A. Molnar	Active property checking.	EMSOFT	2008	DBLP DOI BibTeX RDF	security, software testing, symbolic execution
1	Alex Groce, Rajeev Joshi	Random testing and model checking: building a common framework for nondeterministic exploration.	WODA	2008	DBLP DOI BibTeX RDF	model checking, dynamic analysis, random testing, test frameworks
1	Moonzoo Kim, Yunja Choi, Yunho Kim, Hotae Kim	Pre-testing Flash Device Driver through Model Checking Techniques.	ICST	2008	DBLP DOI BibTeX RDF	Model Checking, Testing, Embedded Software
1	Aarti Gupta	Software Verification: Roles and Challenges for Automatic Decision Procedures.	IJCAR	2008	DBLP DOI BibTeX RDF
1	Himanshu Jain, Edmund M. Clarke, Orna Grumberg	Efficient Craig Interpolation for Linear Diophantine (Dis)Equations and Linear Modular Equations.	CAV	2008	DBLP DOI BibTeX RDF
1	Christophe Pajault, Jean-François Pradat-Peyre, Pierre Rousseau	Adapting Petri Nets Reductions to Promela Specifications.	FORTE	2008	DBLP DOI BibTeX RDF
1	Flavio Lerda, James Kapinski, Edmund M. Clarke, Bruce H. Krogh	Verification of Supervisory Control Software Using State Proximity and Merging.	HSCC	2008	DBLP DOI BibTeX RDF
1	Aliaksei Tsitovich	Detection of Security Vulnerabilities Using Guided Model Checking.	ICLP	2008	DBLP DOI BibTeX RDF
1	Tommi A. Junttila, Jori Dubrovin	Encoding Queues in Satisfiability Modulo Theories Based Bounded Model Checking.	LPAR	2008	DBLP DOI BibTeX RDF
1	Philipp Rümmer	A Constraint Sequent Calculus for First-Order Logic with Linear Integer Arithmetic.	LPAR	2008	DBLP DOI BibTeX RDF
1	Rajeev Alur	Model Checking: From Tools to Theory.	25 Years of Model Checking	2008	DBLP DOI BibTeX RDF
1	Tilman Mehler	Challenges and Applications of Assembly-Level Software Model Checking.	KI	2007	DBLP BibTeX RDF
1	L. Ruhai Cai, Jeremy S. Bradbury, Jürgen Dingel	Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking.	FMOODS	2007	DBLP DOI BibTeX RDF
1	Neha Rungta, Eric G. Mercer	Hardness for Explicit State Software Model Checking Benchmarks.	SEFM	2007	DBLP DOI BibTeX RDF
1	Alessandro Armando, Massimo Benerecetti, Dario Carotenuto, Jacopo Mantovani, Pasquale Spica	The eureka tool for software model checking.	ASE	2007	DBLP DOI BibTeX RDF	model checking, linear programs, refinement, abstraction, arrays, arithmetic
1	Mohamed Nassim Seghir, Andreas Podelski	ACSAR: Software Model Checking with Transfinite Refinement.	SPIN	2007	DBLP DOI BibTeX RDF
1	Nathaniel Charlton, Michael Huth	Hector: Software Model Checking with Cooperating Analysis Plugins.	CAV	2007	DBLP DOI BibTeX RDF