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 |
|