Search results for "VeriSoft"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
163	Jürgen Dingel	Compositional Analysis of C/C++ Programs with VeriSoft.	Acta Informatica	2006	DBLP DOI BibTeX RDF
144	Patrice Godefroid	Invited Talk: "Model checking" software with VeriSoft.	PASTE	2004	DBLP DOI BibTeX RDF
144	Jürgen Dingel, Hongzhi Liang	Automating comprehensive safety analysis of concurrent programs using verisoft and TXL.	SIGSOFT FSE	2004	DBLP DOI BibTeX RDF	TXL, VeriSoft, past-time linear temporal logic, software model checking, safety analysis, source code transformation, run-time monitoring
126	Patrice Godefroid, Robert S. Hanmer, Lalita Jategaonkar Jagadeesan	Model Checking Without a Model: An Analysis of the Heart-Beat Monitor of a Telephone Switch Using VeriSoft.	ISSTA	1998	DBLP DOI BibTeX RDF
89	Jürgen Dingel	Computer-Assisted Assume/Guarantee Reasoning with VeriSoft.	ICSE	2003	DBLP DOI BibTeX RDF
70	Patrice Godefroid	VeriSoft: A Tool for the Automatic Analysis of Concurrent Reactive Software.	CAV	1997	DBLP DOI BibTeX RDF
52	Eyad Alkassar, Mark A. Hillebrand, Dirk Leinenbach, Norbert Schirmer, Artem Starostin	The Verisoft Approach to Systems Verification.	VSTTE	2008	DBLP DOI BibTeX RDF
52	Patrice Godefroid	Software Model Checking: The VeriSoft Approach.	Formal Methods Syst. Des.	2005	DBLP DOI BibTeX RDF	program verification, software model checking, systematic testing
37	Christoph Baumann, Bernhard Beckert, Holger Blasum, Thorsten Bormer	Formal Verification of a Microkernel Used in Dependable Software Systems.	SAFECOMP	2009	DBLP DOI BibTeX RDF
37	Sven Beyer, Peter Böhm, Michael Gerke 0002, Mark A. Hillebrand, Thomas In der Rieden, Steffen Knapp, Dirk Leinenbach, Wolfgang J. Paul	Towards the Formal Verification of Lower System Layers in Automotive Systems.	ICCD	2005	DBLP DOI BibTeX RDF
37	Mark A. Hillebrand, Thomas In der Rieden, Wolfgang J. Paul	Dealing with I/O Devices in the Context of Pervasive System Verification.	ICCD	2005	DBLP DOI BibTeX RDF
37	Sergey Tverdyshev	Combination of Isabelle/HOL with Automatic Tools.	FroCoS	2005	DBLP DOI BibTeX RDF
37	Dirk Leinenbach, Wolfgang J. Paul, Elena Petrova	Towards the Formal Verification of a C0 Compiler: Code Generation and Implementation Correctnes.	SEFM	2005	DBLP DOI BibTeX RDF
37	Satish Chandra 0001, Patrice Godefroid, Christopher Palm	Software model checking in practice: an industrial case study.	ICSE	2002	DBLP DOI BibTeX RDF
33	Bernhard Beckert, Michal Moskal	Deductive Verification of System Software in the Verisoft XT Project.	Künstliche Intell.	2010	DBLP DOI BibTeX RDF
33	Patrice Godefroid, Robert S. Hanmer, Lalita Jategaonkar Jagadeesan	Systematic software testing using VeriSoft - An analysis of the 4ESS™ heart-beat monitor.	Bell Labs Tech. J.	1998	DBLP DOI BibTeX RDF
33	Patrice Godefroid	Model Checking for Programming Languages using Verisoft.	POPL	1997	DBLP DOI BibTeX RDF
18	Dirk Leinenbach, Thomas Santen	Verifying the Microsoft Hyper-V Hypervisor with VCC.	FM	2009	DBLP DOI BibTeX RDF
18	Mark A. Hillebrand, Wolfgang J. Paul	On the Architecture of System Verification Environments.	Haifa Verification Conference	2007	DBLP DOI BibTeX RDF
18	Yu Lei 0001, Richard H. Carver	Reachability Testing of Concurrent Programs.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	Software testing, concurrent programming, reachability testing
18	Thomas Ball	The Verified Software Challenge: A Call for a Holistic Approach to Reliability.	VSTTE	2005	DBLP DOI BibTeX RDF
18	Wolfgang J. Paul	Towards a Worldwide Verification Technology.	VSTTE	2005	DBLP DOI BibTeX RDF
18	Mauro Gargano, Mark A. Hillebrand, Dirk Leinenbach, Wolfgang J. Paul	On the Correctness of Operating System Kernels.	TPHOLs	2005	DBLP DOI BibTeX RDF
18	Sarfraz Khurshid, Iván García, Yuk Lai Suen	Repairing Structurally Complex Data.	SPIN	2005	DBLP DOI BibTeX RDF
18	Yu Lei 0001, Richard H. Carver	A New Algorithm for Reachability Testing of Concurrent Programs.	ISSRE	2005	DBLP DOI BibTeX RDF
18	Thomas In der Rieden, Dirk Leinenbach, Wolfgang J. Paul	Towards the Pervasive Verification of Automotive Systems.	CHARME	2005	DBLP DOI BibTeX RDF
18	Patrice Godefroid, Sarfraz Khurshid	Exploring very large state spaces using genetic algorithms.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Genetic algorithms, Model checking, Verification, Heuristics, State-space exploration
18	Patrice Godefroid, Sarfraz Khurshid	Exploring Very Large State Spaces Using Genetic Algorithms.	TACAS	2002	DBLP DOI BibTeX RDF
18	Padmanabhan Krishnan, Danita Hartley	Using Model Checking to Test a Firewall : A Case Study.	EUROMICRO	2002	DBLP DOI BibTeX RDF
18	Patrice Godefroid, James D. Herbsleb, Lalita Jategaonkar Jagadeesan, Du Li	Ensuring privacy in presence awareness: an automated verification approach.	CSCW	2000	DBLP DOI BibTeX RDF	presence awareness, security, privacy, verification, computer-supported cooperative work, coordination
18	Christopher Colby, Patrice Godefroid, Lalita Jategaonkar Jagadeesan	Automatically Closing Open Reactive Programs.	PLDI	1998	DBLP DOI BibTeX RDF	C