Search results for "Software verification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Ingo Feinerer, Gernot Salzer	A comparison of tools for teaching formal software verification.	Formal Asp. Comput.	2009	DBLP DOI BibTeX RDF	Formal software verification, Frege Program Prover, Key system, Perfect developer, Prototype verification system
3	David Déharbe, Silvio Ranise	Satisfiability solving for software verification.	STTT	2009	DBLP DOI BibTeX RDF	Equational theorem proving, Boolean solving, Theory reasoning, Software verification
3	Parosh Aziz Abdulla, Ahmed Bouajjani, Markus Müller-Olm	06081 Executive Summary -- Software Verification: Infinite-State Model Checking and Static Program Analysis.	Software Verification: Infinite-State Model Checking and Static Program Analysis	2006	DBLP BibTeX RDF
3	Parosh Aziz Abdulla, Ahmed Bouajjani, Markus Müller-Olm	06081 Abstracts Collection -- Software Verification: Infinite-State Model Checking and Static Program Analysis.	Software Verification: Infinite-State Model Checking and Static Program Analysis	2006	DBLP BibTeX RDF
3	Bernhard Beckert, Steffen Schlager	Software Verification with Integrated Data Type Refinement for Integer Arithmetic.	IFM	2004	DBLP DOI BibTeX RDF	UML/OCL, Java, specification, Software verification, data refinement, integer arithmetic
3	Miroslav Popovic, Vladimir Kovacevic, Ivan Velikic	A Formal Software Verification Concept Based on Automated Theorem Proving and Reverse Engineering. (PDF / PS)	ECBS	2002	DBLP DOI BibTeX RDF	formal software verification, fault-tolerant and robust software, mission-critical embedded software, reverse engineering, automated theorem proving, predicate calculus
3	Thomas Firley, Ursula Goltz	Property Dependent Abstraction of Control Structure for Software Verification.	FME	2002	DBLP DOI BibTeX RDF	property oriented abstraction, algorithmic construction of abstract semantics, software verification
3	Gerard J. Holzmann	Economics of software verification.	PASTE	2001	DBLP DOI BibTeX RDF	model checking, testing, software verification, spin
2	Doina Bucur, Marta Z. Kwiatkowska	Software verification for TinyOS.	IPSN	2010	DBLP DOI BibTeX RDF	sensor networks, model checking, reliability, safety, software verification, TinyOS, telos, MSP430
2	Marta Z. Kwiatkowska	On Quantitative Software Verification.	SPIN	2009	DBLP DOI BibTeX RDF
2	Aarti Gupta	Software Verification: Roles and Challenges for Automatic Decision Procedures.	IJCAR	2008	DBLP DOI BibTeX RDF
2	Fausto Spoto	Special track on Software Verification: editorial message.	SAC	2008	DBLP DOI BibTeX RDF
2	Xueqi Cheng, Michael S. Hsiao	Simulation-Directed Invariant Mining for Software Verification.	DATE	2008	DBLP DOI BibTeX RDF
2	Gian Luigi Ferrari	Ugo Montanari and Software Verification.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
2	Shimin Li, Ladan Tahvildari, Weining Liu, Mike Morrissey, Gary Cort	Coping with Requirements Changes in Software Verification and Validation.	CSMR	2008	DBLP DOI BibTeX RDF
2	Chao Wang, Malay K. Ganai, Shuvendu K. Lahiri, Daniel Kroening	Embedded software verification: challenges and solutions.	ICCAD	2008	DBLP DOI BibTeX RDF
2	Daniel Jackson	Hazards of Verification.	Haifa Verification Conference	2008	DBLP DOI BibTeX RDF
2	Malay K. Ganai	Efficient Decision Procedure for Bounded Integer Non-linear Operations Using SMT().	Haifa Verification Conference	2008	DBLP DOI BibTeX RDF
2	Kenneth L. McMillan	Proofs, Interpolants, and Relevance Heuristics.	Haifa Verification Conference	2008	DBLP DOI BibTeX RDF
2	J. Santiago Jorge, Víctor M. Gulías, Laura M. Castro	Using Coq to Prove Properties of the Cache Level of a Functional Video-on-Demand Server.	AISC/MKM/Calculemus	2008	DBLP DOI BibTeX RDF	Formal methods, functional programming, software verification, real-world applications, theorem provers
2	Gerard J. Holzmann, Rajeev Joshi, Alex Groce	New Challenges in Model Checking.	25 Years of Model Checking	2008	DBLP DOI BibTeX RDF	Logic model checking, grand challenge project, flash file system challenge, software reliability, software verification, software structure
2	Fernando Brizzolari, Igor Melatti, Enrico Tronci, Giuseppe Della Penna	Disk Based Software Verification via Bounded Model Checking.	APSEC	2007	DBLP DOI BibTeX RDF
2	Tihana Galinac, Zeljka Car	Software Verification Process Improvement Proposal Using Six Sigma.	PROFES	2007	DBLP DOI BibTeX RDF
2	Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz	Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis.	CAV	2007	DBLP DOI BibTeX RDF
2	Aarti Gupta	From Hardware Verification to Software Verification: Re-use and Re-learn.	Haifa Verification Conference	2007	DBLP DOI BibTeX RDF
2	Domagoj Babic, Alan J. Hu	Exploiting Shared Structure in Software Verification Conditions.	Haifa Verification Conference	2007	DBLP DOI BibTeX RDF
2	Peter Z. Revesz	The Constraint Database Approach to Software Verification.	VMCAI	2007	DBLP DOI BibTeX RDF
2	Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis, Lenore D. Zuck	Test Case Generation for Ultimately Periodic Paths.	Haifa Verification Conference	2007	DBLP DOI BibTeX RDF
2	Sean Callanan, Radu Grosu, Xiaowan Huang, Scott A. Smolka, Erez Zadok	Compiler-assisted software verification using plug-ins.	IPDPS	2006	DBLP DOI BibTeX RDF
2	Parosh Aziz Abdulla, Ahmed Bouajjani, Markus Müller-Olm (eds.)	Software Verification: Infinite-State Model Checking and Static Program Analysis, 19.02. - 24.02.2006	Software Verification: Infinite-State Model Checking and Static Program Analysis	2006	DBLP BibTeX RDF
2	Sharon Barner, Cindy Eisner, Ziv Glazberg, Daniel Kroening, Ishai Rabinovitz	ExpliSAT: Guiding SAT-Based Software Verification with Explicit States.	Haifa Verification Conference	2006	DBLP DOI BibTeX RDF
2	Jérôme Leroux, Grégoire Sutre	Flat counter automata almost everywhere!.	Software Verification: Infinite-State Model Checking and Static Program Analysis	2006	DBLP BibTeX RDF
2	Ahmed Bouajjani, Javier Esparza, Stefan Schwoon, Jan Strejcek	Reachability analysis of multithreaded software with asynchronous communication.	Software Verification: Infinite-State Model Checking and Static Program Analysis	2006	DBLP BibTeX RDF
2	Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz	Lazy Shape Analysis.	Software Verification: Infinite-State Model Checking and Static Program Analysis	2006	DBLP BibTeX RDF
2	Jörg Bauer 0001, Reinhard Wilhelm	Analysis of Dynamic Communicating Systems by Hierarchical Abstraction.	Software Verification: Infinite-State Model Checking and Static Program Analysis	2006	DBLP BibTeX RDF
2	Eric Larson	An undergraduate course on software bug detection tools and techniques.	SIGCSE	2006	DBLP DOI BibTeX RDF	software engineering, compilers, software testing, computer science education, computer security, software verification
2	Bernhard Beckert, André Platzer	Dynamic Logic with Non-rigid Functions.	IJCAR	2006	DBLP DOI BibTeX RDF	logical foundations of programming languages, object-orientation, software verification, Dynamic logic, sequent calculus, program logic
2	Igor Grudenic, Nikola Bogunovic	Modeling and Verification of MPI Based Distributed Software.	PVM/MPI	2006	DBLP DOI BibTeX RDF	MPI software modeling, MPI software verification, abstract state machines (ASMs)
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	Rajeev Alur	Trends and Challenges in Algorithmic Software Verification.	VSTTE	2005	DBLP DOI BibTeX RDF
2	Yu Lei, S. Purushothaman Iyer	An Approach to Unfolding Asynchronous Communication Protocols.	FM	2005	DBLP DOI BibTeX RDF	State Space Search, Software Verification, Unfolding, EFSM
2	Bernhard Beckert, Steffen Schlager	Refinement and retrenchment for programming language data types.	Formal Asp. Comput.	2005	DBLP DOI BibTeX RDF	Retrenchment refinement, UML/OCL, Java, Formal specification, Software verification, Integer arithmetic
2	Chris Hunter, Peter Robinson, Paul A. Strooper	Flexible Proof Reuse for Software Verification.	AMAST	2004	DBLP DOI BibTeX RDF
2	Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar	Invited talk: the blast query language for software verification.	PEPM	2004	DBLP DOI BibTeX RDF	software verification, software specification
2	Masahito Kurihara, Hisashi Kondo	Efficient BDD Encodings for Partial Order Constraints with Application to Expert Systems in Software Verification.	IEA/AIE	2004	DBLP DOI BibTeX RDF
2	Gerard J. Holzmann, Rajeev Joshi	Model-Driven Software Verification.	SPIN	2004	DBLP DOI BibTeX RDF
2	Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar	Invited talk: the blast query language for software verification.	PPDP	2004	DBLP DOI BibTeX RDF	software verification, software specification
2	Wen-Kui Chang, Chun-Yuan Chen	Integrity-Enhanced Verification Scheme for Software-Intensive Organizations.	ATVA	2004	DBLP DOI BibTeX RDF	Software Capability Level, Software Integrity Level, ISO 9001:2000, Software Process Improvement (SPI), CMMI, Software Verification and Validation
2	Sagar Chaki, Edmund M. Clarke, Alex Groce, Joël Ouaknine, Ofer Strichman, Karen Yorav	Efficient Verification of Sequential and Concurrent C Programs.	Formal Methods in System Design	2004	DBLP DOI BibTeX RDF	concurrency, process algebra, software verification, predicate abstraction, abstraction refinement
2	Radu Iosif	Symmetry reductions for model checking of concurrent dynamic software.	STTT	2004	DBLP DOI BibTeX RDF	Orbit problem, Temporal logic, Software verification, Symmetry reductions
2	Christopher P. Fuhrman, Fatime Djlive, Edgardo Palza	Software Verification and Validation within the (Rational) Unified Process.	SEW	2003	DBLP DOI BibTeX RDF
2	Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre	Software Verification with BLAST.	SPIN	2003	DBLP DOI BibTeX RDF
2	Gerard J. Holzmann	Trends in Software Verification.	FME	2003	DBLP DOI BibTeX RDF
2	Helmut Veith	Friends or Foes? Communities in Software Verification (Invited Lecture).	CSL	2003	DBLP DOI BibTeX RDF
2	Cormac Flanagan, Shaz Qadeer	Predicate abstraction for software verification.	POPL	2002	DBLP DOI BibTeX RDF
2	Gerard J. Holzmann, Margaret H. Smith	An Automated Verification Method for Distributed Systems Software Based on Model Extraction.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	call processing, model checking, formal methods, software testing, case studies, reactive systems, software verification, feature interaction
2	J. Strother Moore	A Grand Challenge Proposal for Formal Methods: A Verified Stack.	10th Anniversary Colloquium of UNU/IIST	2002	DBLP DOI BibTeX RDF	simulation, modeling, model checking, theorem proving, software verification, hardware verification
2	Günther Zoffmann, Manfred Gingerl, Christian Reumann, Gerald Sonneck	A Classification Scheme for Software Verification Tools with Regard to RTCA/DO-178B.	SAFECOMP	2001	DBLP DOI BibTeX RDF
2	Robert Glück, Michael Leuschel	Abstraction-Based Partial Deduction for Solving Inverse Problems - A Transformational Approach to Software Verification.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
2	S. Dellacherie, Samuel Devulder, Jean-Luc Lambert	Software Verification Based on Linear Programming.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
2	Premkumar T. Devanbu, Stuart G. Stubblebine	Research Directions for Automated Software Verification: Using Trusted Hardware. (PDF / PS)	ASE	1997	DBLP DOI BibTeX RDF	automated software verification, trusted hardware, content providers, hosted software, networked software, hosting computer, physically secure computing device, embedded certified private key, executable binary, trusted signature, scientific goals, engineering goals, testing, software agents, program verification, browsers, version control, servers, service providers, applets, checks
2	Mark Aagaard, Miriam Leeser	Verifying a Logic-Synthesis Algorithm and Implementation: A Case Study in Software Verification.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	weak division, theorem proving, logic synthesis, Software verification, hardware verification
2	Terry Shepard	On Teaching Software Verification and Validation.	CSEE	1995	DBLP DOI BibTeX RDF
2	Wolfgang Reif, Kurt Stenzel	Reuse of Proofs in Software Verification.	FSTTCS	1993	DBLP DOI BibTeX RDF
2	James E. Cardow, David R. Luginbuhl	Teaching Software Verification and Validation to Software Practitioner.	CSEE	1992	DBLP DOI BibTeX RDF
2	John W. Sheppard, William R. Simpson	Functional path analysis: an approach to software verification.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF
2	Marilyn S. Fujii	Software verification and validation(Position Statement).	ACM Annual Conference	1978	DBLP DOI BibTeX RDF
1	Pham Ngoc Hung, Viet Ha Nguyen, Toshiaki Aoki, Takuya Katayama	An Improvement of Minimized Assumption Generation Method for Component-Based Software Verification.	RIVF	2012	DBLP DOI BibTeX RDF
1	Dirk Beyer	Competition on Software Verification - (SV-COMP).	TACAS	2012	DBLP DOI BibTeX RDF
1	Marcus Mews, Steffen Helke	Towards Static Modular Software Verification.	Software Engineering (Workshops)	2012	DBLP BibTeX RDF
1	Ranjit Jhala	Software Verification with Liquid Types.	VMCAI	2012	DBLP DOI BibTeX RDF
1	Eduardo Zambon, Arend Rensink	Using Graph Transformations and Graph Abstractions for Software Verification.	ECEASST	2011	DBLP BibTeX RDF
1	Doina Bucur, Marta Z. Kwiatkowska	On software verification for sensor nodes.	Journal of Systems and Software	2011	DBLP DOI BibTeX RDF
1	Jean-Christophe Filliâtre	Deductive software verification.	STTT	2011	DBLP DOI BibTeX RDF
1	Franjo Ivancic, Gogul Balakrishnan, Aarti Gupta, Sriram Sankaranarayanan, Naoto Maeda, Hiroki Tokuoka, Takashi Imoto, Yoshiaki Miyazaki	DC2: A framework for scalable, scope-bounded software verification.	ASE	2011	DBLP DOI BibTeX RDF
1	Derek Bronish, Hampton Smith	Robust, generic, modularly-verified map: a software verification challenge problem.	PLPV	2011	DBLP DOI BibTeX RDF
1	Jade Alglave, Alastair F. Donaldson, Daniel Kroening, Michael Tautschnig	Making Software Verification Tools Really Work.	ATVA	2011	DBLP DOI BibTeX RDF
1	Ranjit Jhala	Software Verification with Liquid Types.	APLAS	2011	DBLP DOI BibTeX RDF
1	Andrey Rybalchenko	Towards automatic synthesis of software verification tools.	PPDP	2011	DBLP DOI BibTeX RDF
1	Daniel Kroening, Georg Weissenbacher	Interpolation-Based Software Verification with Wolverine.	CAV	2011	DBLP DOI BibTeX RDF
1	Dirk Beyer, M. Erkan Keremoglu	CPAchecker: A Tool for Configurable Software Verification.	CAV	2011	DBLP DOI BibTeX RDF
1	Ranjit Jhala	Using Types for Software Verification.	CAV	2011	DBLP DOI BibTeX RDF
1	Sharon Barner, Ian G. Harris, Daniel Kroening, Orna Raz (eds.)	Hardware and Software: Verification and Testing - 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers	Haifa Verification Conference	2011	DBLP DOI BibTeX RDF
1	Kedar S. Namjoshi, Andreas Zeller, Avi Ziv (eds.)	Hardware and Software: Verification and Testing - 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers	Haifa Verification Conference	2011	DBLP DOI BibTeX RDF
1	Alastair F. Donaldson, Leopold Haller, Daniel Kroening, Philipp Rümmer	Software Verification Using k-Induction.	SAS	2011	DBLP DOI BibTeX RDF
1	Matthew Fredrikson, Benjamin Livshits	RePriv: Re-imagining Content Personalization and In-browser Privacy.	IEEE Symposium on Security and Privacy	2011	DBLP DOI BibTeX RDF	Privacy, Personalization, Web Applications, Software Verification
1	Simon M. Poulding, John A. Clark	Efficient Software Verification: Statistical Testing Using Automated Search.	IEEE Trans. Software Eng.	2010	DBLP DOI BibTeX RDF
1	Pham Ngoc Hung, Viet Ha Nguyen, Toshiaki Aoki, Takuya Katayama	A Minimized Assumption Generation Method for Component-Based Software Verification.	IEICE Transactions	2010	DBLP BibTeX RDF
1	Gerard J. Holzmann	Formal Software Verification: How Close Are We?	FMOODS/FORTE	2010	DBLP DOI BibTeX RDF
1	Eduardo Zambon	Using Graph Transformations and Graph Abstractions for Software Verification.	ICGT	2010	DBLP DOI BibTeX RDF
1	Robert Feldt, Richard Torkar, Ehsan Ahmad, Bilal Raza	Challenges with Software Verification and Validation Activities in the Space Industry.	ICST	2010	DBLP DOI BibTeX RDF	European Cooperation for Space Standardization, case study, verification and validation
1	Richard Bubel, Reiner Hähnle, Ran Ji	Program Specialization via a Software Verification Tool.	FMCO	2010	DBLP DOI BibTeX RDF
1	Dimitra Giannakopoulou, Corina S. Pasareanu	Learning Techniques for Software Verification and Validation - Special Track at ISoLA 2010.	ISoLA	2010	DBLP DOI BibTeX RDF
1	Farn Wang	Lazy Decision Diagrams for Word-Level Model Manipulation in Software Verification.	TASE	2010	DBLP DOI BibTeX RDF
1	Emil Vassev, Mike Hinchey	Software Verification of Autonomic Systems Developed with ASSL.	Monterey Workshop	2010	DBLP DOI BibTeX RDF
1	Andreas Holzer, Michael Tautschnig, Christian Schallhart, Helmut Veith	An Introduction to Test Specification in FQL.	Haifa Verification Conference	2010	DBLP DOI BibTeX RDF
1	Robert Könighofer, Georg Hofferek, Roderick Bloem	Debugging Unrealizable Specifications with Model-Based Diagnosis.	Haifa Verification Conference	2010	DBLP DOI BibTeX RDF
1	Hana Chockler, Arie Gurfinkel, Ofer Strichman	Variants of LTL Query Checking.	Haifa Verification Conference	2010	DBLP DOI BibTeX RDF
1	Uri Klein, Amir Pnueli	Revisiting Synthesis of GR(1) Specifications.	Haifa Verification Conference	2010	DBLP DOI BibTeX RDF
1	Joseph Gil	Reflections on Spartan Programming and the No-Debugger Principle.	Haifa Verification Conference	2010	DBLP DOI BibTeX RDF