Search results for "VSTTE"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Dhammika Elkaduwe, Gerwin Klein, Kevin Elphinstone	Verified Protection Model of the seL4 Microkernel.	VSTTE	2008	DBLP DOI BibTeX RDF
1	K. Rustan M. Leino, Peter Müller 0001, Angela Wallenburg	Flexible Immutability with Frozen Objects.	VSTTE	2008	DBLP DOI BibTeX RDF
1	Daniel Leivant	Propositional Dynamic Logic for Recursive Procedures.	VSTTE	2008	DBLP DOI BibTeX RDF	?-Calculus, fixpoints, recursive procedures, Propositional dynamic logic
1	John C. Reynolds	Readable Formal Proofs.	VSTTE	2008	DBLP DOI BibTeX RDF
1	Andreas Podelski	Verification, Least-Fixpoint Checking, Abstraction.	VSTTE	2008	DBLP DOI BibTeX RDF
1	Matthias Daum 0001, Jan Dörrenbächer, Mareike Schmidt, Burkhart Wolff	A Verification Approach for System-Level Concurrent Programs.	VSTTE	2008	DBLP DOI BibTeX RDF
1	Yoshifumi Yuasa, Yoshinori Tanabe, Toshifusa Sekizawa, Koichi Takahashi	Verification of the Deutsch-Schorr-Waite Marking Algorithm with Modal Logic.	VSTTE	2008	DBLP DOI BibTeX RDF
1	Eyad Alkassar, Mark A. Hillebrand, Dirk Leinenbach, Norbert Schirmer, Artem Starostin	The Verisoft Approach to Systems Verification.	VSTTE	2008	DBLP DOI BibTeX RDF
1	Patrice Chalin, Perry R. James, George Karabotsos	JML4: Towards an Industrial Grade IVE for Java and Next Generation Research Platform for JML.	VSTTE	2008	DBLP DOI BibTeX RDF
1	Michael G. Hinchey, James L. Rash, Christopher A. Rouff	Some Verification Issues at NASA Goddard Space Flight Center.	VSTTE	2005	DBLP DOI BibTeX RDF
1	Cliff B. Jones	Some Interdisciplinary Observations about Getting the "Right" Specification.	VSTTE	2005	DBLP DOI BibTeX RDF
1	Michael Barnett 0001, Robert DeLine, Manuel Fähndrich, Bart Jacobs 0002, K. Rustan M. Leino, Wolfram Schulte, Herman Venter	The Spec# Programming System: Challenges and Directions.	VSTTE	2005	DBLP DOI BibTeX RDF
1	Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takahashi, Masami Hagiya	Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification.	VSTTE	2005	DBLP DOI BibTeX RDF
1	Klaus Havelund, Allen Goldberg	Verify Your Runs.	VSTTE	2005	DBLP DOI BibTeX RDF
1	Peter Müller 0001	Reasoning about Object Structures Using Ownership.	VSTTE	2005	DBLP DOI BibTeX RDF
1	Edmund M. Clarke, Anubhav Gupta 0001, Himanshu Jain, Helmut Veith	Model Checking: Back and Forth between Hardware and Software.	VSTTE	2005	DBLP DOI BibTeX RDF
1	Rajeev Alur	Trends and Challenges in Algorithmic Software Verification.	VSTTE	2005	DBLP DOI BibTeX RDF
1	David A. Naumann	Modular Reasoning in Object-Oriented Programming.	VSTTE	2005	DBLP DOI BibTeX RDF
1	Willem-Paul de Roever	A Perspective on Program Verification.	VSTTE	2005	DBLP DOI BibTeX RDF
1	Thomas Hubbard, Raimondas Lencevicius, Edu Metz, Gopal Raghavan	Performance Validation on Multicore Mobile Devices.	VSTTE	2005	DBLP DOI BibTeX RDF
1	Panagiotis Manolios	The Challenge of Hardware-Software Co-verification.	VSTTE	2005	DBLP DOI BibTeX RDF
1	Gogul Balakrishnan, Thomas W. Reps, David Melski, Tim Teitelbaum	WYSINWYX: What You See Is Not What You eXecute.	VSTTE	2005	DBLP DOI BibTeX RDF
1	Bertrand Meyer 0001	Eiffel as a Framework for Verification.	VSTTE	2005	DBLP DOI BibTeX RDF
1	Thomas Ball	The Verified Software Challenge: A Call for a Holistic Approach to Reliability.	VSTTE	2005	DBLP DOI BibTeX RDF
1	J Strother Moore	A Mechanized Program Verifier.	VSTTE	2005	DBLP DOI BibTeX RDF
1	Gerard J. Holzmann, Rajeev Joshi	Reliable Software Systems Design: Defect Prevention, Detection, and Containment.	VSTTE	2005	DBLP DOI BibTeX RDF
1	Graham Steel	The Importance of Non-theorems and Counterexamples in Program Verification.	VSTTE	2005	DBLP DOI BibTeX RDF
1	Zhiming Liu 0001, R. Venkatesh 0001	Methods and Tools for Formal Software Engineering.	VSTTE	2005	DBLP DOI BibTeX RDF
1	Arnaud Venet	Towards the Integration of Symbolic and Numerical Static Analysis.	VSTTE	2005	DBLP DOI BibTeX RDF
1	Wolfgang J. Paul	Towards a Worldwide Verification Technology.	VSTTE	2005	DBLP DOI BibTeX RDF
1	Alessandro Coglio, Cordell Green	A Constructive Approach to Correctness, Exemplified by a Generator for Certified Java Card Applets.	VSTTE	2005	DBLP DOI BibTeX RDF
1	David Evans 0001	Toasters, Seat Belts, and Inferring Program Properties.	VSTTE	2005	DBLP DOI BibTeX RDF
1	Tevfik Bultan, Aysu Betin-Can	Scalable Software Model Checking Using Design for Verification.	VSTTE	2005	DBLP DOI BibTeX RDF
1	Colin O'Halloran	Where Is the Value in a Program Verifier?.	VSTTE	2005	DBLP DOI BibTeX RDF
1	Rajeev Joshi, Gerard J. Holzmann	A Mini Challenge: Build a Verifiable Filesystem.	VSTTE	2005	DBLP DOI BibTeX RDF
1	Yves Bertot, Laurent Théry	Dependent Types, Theorem Proving, and Applications for a Verifying Compiler.	VSTTE	2005	DBLP DOI BibTeX RDF
1	Anthony Hall	Software Verification and Software Engineering a Practitioner's Perspective.	VSTTE	2005	DBLP DOI BibTeX RDF
1	Myla Archer	Can We Build an Automatic Program Verifier? Invariant Proofs and Other Challenges.	VSTTE	2005	DBLP DOI BibTeX RDF
1	Ofer Strichman, Benny Godlin	Regression Verification - A Practical Way to Verify Programs.	VSTTE	2005	DBLP DOI BibTeX RDF
1	Gary T. Leavens, Curtis Clifton	Lessons from the JML Project.	VSTTE	2005	DBLP DOI BibTeX RDF
1	Patrick Cousot	The Verification Grand Challenge and Abstract Interpretation.	VSTTE	2005	DBLP DOI BibTeX RDF
1	John C. Reynolds	An Overview of Separation Logic.	VSTTE	2005	DBLP DOI BibTeX RDF
1	Andrew Ireland	Tool Integration for Reasoned Programming.	VSTTE	2005	DBLP DOI BibTeX RDF
1	Lu Yang, Naijun Zhan, Bican Xia, Chaochen Zhou	Program Verification by Using DISCOVERER.	VSTTE	2005	DBLP DOI BibTeX RDF	semi-algebraic systems, DISCOVERER, reachability computation, program verification, termination, invariant generation
1	Douglas R. Smith	Generating Programs Plus Proofs by Refinement.	VSTTE	2005	DBLP DOI BibTeX RDF
1	Andy Galloway, Frantz Iwu, John A. McDermid, Ian Toyn	On the Formal Development of Safety-Critical Software.	VSTTE	2005	DBLP DOI BibTeX RDF
1	José Meseguer 0001, Grigore Rosu	Computational Logical Frameworks and Generic Program Analysis Technologies.	VSTTE	2005	DBLP DOI BibTeX RDF
1	Kathi Fisler, Shriram Krishnamurthi	Decomposing Verification Around End-User Features.	VSTTE	2005	DBLP DOI BibTeX RDF
1	Peter W. O'Hearn	Scalable Specification and Reasoning: Challenges for Program Logic.	VSTTE	2005	DBLP DOI BibTeX RDF
1	Tiziana Margaria, Bernhard Steffen	From the How to the What.	VSTTE	2005	DBLP DOI BibTeX RDF
1	Viktor Kuncak, Patrick Lam 0001, Karen Zee, Martin C. Rinard	Implications of a Data Structure Consistency Checking System.	VSTTE	2005	DBLP DOI BibTeX RDF
1		The SPARK Team: Languages, Ambiguity, and Verification.	VSTTE	2005	DBLP DOI BibTeX RDF
1	Mats Per Erik Heimdahl	A Case for Specification Validation.	VSTTE	2005	DBLP DOI BibTeX RDF
1	Mark Utting	The Role of Model-Based Testing.	VSTTE	2005	DBLP DOI BibTeX RDF
1	Eric C. R. Hehner	Specified Blocks.	VSTTE	2005	DBLP DOI BibTeX RDF
1	Daniel Kroening	Decision Procedures for the Grand Challenge.	VSTTE	2005	DBLP DOI BibTeX RDF
1	John M. Rushby	Automated Test Generation and Verified Software.	VSTTE	2005	DBLP DOI BibTeX RDF
1	Joseph R. Kiniry, Patrice Chalin, Clément Hurlin	Integrating Static Checking and Interactive Verification: Supporting Multiple Theories and Provers in Verification.	VSTTE	2005	DBLP DOI BibTeX RDF
1	Benjamin C. Pierce, Peter Sewell, Stephanie Weirich, Steve Zdancewic	It Is Time to Mechanize Programming Language Metatheory.	VSTTE	2005	DBLP DOI BibTeX RDF
1	Egon Börger	Linking the Meaning of Programs to What the Compiler Can Verify.	VSTTE	2005	DBLP DOI BibTeX RDF
1	Jian Zhang 0001	Constraint Solving and Symbolic Execution.	VSTTE	2005	DBLP DOI BibTeX RDF
1	Kokichi Futatsugi, Joseph A. Goguen, Kazuhiro Ogata 0001	Verifying Design with Proof Scores.	VSTTE	2005	DBLP DOI BibTeX RDF
1	Aaron Stump	Programming with Proofs: Language-Based Approaches to Totally Correct Software.	VSTTE	2005	DBLP DOI BibTeX RDF
1	Bernhard K. Aichernig, Jifeng He 0001, Zhiming Liu 0001, Mike Reed	Integrating Theories and Techniques for Program Modelling, Design and Verification.	VSTTE	2005	DBLP DOI BibTeX RDF
1	Marsha Chechik, Arie Gurfinkel	Model-Checking Software Using Precise Abstractions.	VSTTE	2005	DBLP DOI BibTeX RDF
1	Carsten Schürmann	Meta-Logical Frameworks and Formal Digital Libraries.	VSTTE	2005	DBLP DOI BibTeX RDF
1	Tony Hoare, Jayadev Misra	Verified Software: Theories, Tools, Experiments Vision of a Grand Challenge Project.	VSTTE	2005	DBLP DOI BibTeX RDF
1	Ramesh Bharadwaj	Verified Software: The RealGrand Challenge.	VSTTE	2005	DBLP DOI BibTeX RDF
1	Nurit Dor, John Field, Denis Gopan, Tal Lev-Ami, Alexey Loginov, Roman Manevich, G. Ramalingam, Thomas W. Reps, Noam Rinetzky, Mooly Sagiv, Reinhard Wilhelm, Eran Yahav, Greta Yorsh	Automatic Verification of Strongly Dynamic Software Systems.	VSTTE	2005	DBLP DOI BibTeX RDF

Publications at "VSTTE"( http://dblp.L3S.de/Venues/VSTTE )