default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5th AVoCS 2005: Warwick, UK
- Ranko Lazic, Rajagopal Nagarajan:
Proceedings of the 5th International Workshop on Automated Verification of Critical Systems, AVoCS 2005, University of Warwick, UK, September 12-13, 2005. Electronic Notes in Theoretical Computer Science 145, Elsevier 2006 - Ranko Lazic, Rajagopal Nagarajan:
Preface. 1-2 - Cliff B. Jones
:
Reasoning About Partial Functions in the Formal Development of Programs. 3-25 - Mike Gordon, Juliano Iyoda, Scott Owens, Konrad Slind:
Automatic Formal Synthesis of Hardware from Higher Order Logic. 27-43 - Hasan Amjad:
Verification of AMBA Using a Combination of Model Checking and Theorem Proving. 45-61 - Damián Barsotti, Leonor Prensa Nieto, Alwen Fernanto Tiu:
Verification of Clock Synchronization Algorithms: Experiments on a Combination of Deductive Tools. 63-78 - Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens:
Synthesising Features by Games. 79-93 - Tobe Toben, Bernd Westphal:
Concurrent LSC Verification: On Decomposition Properties of Partially Ordered Symbolic Automata. 95-111 - Milan Ceska, Pavel Erlebach, Tomás Vojnar:
Pattern-Based Verification of Programs with Extended Linear Linked Data Structures. 113-130 - Nathaniel Charlton:
Verification of Java Programs with Interacting Analysis Plugins. 131-150 - Eun-Young Kang, Stephan Merz:
Predicate Diagrams for the Verification of Real-Time Systems. 151-165 - Hosung Song, Kevin J. Compton, William C. Rounds:
SPHIN: A model checker for reconfigurable hybrid systems based on SPIN. 167-183 - Joy N. Reed, A. W. Roscoe, Jane E. Sinclair:
Machine-Verifiable Responsiveness. 185-200 - Neil Evans, Helen Treharne:
Linking Semantic Models to Support CSP || B Consistency Checking. 201-217
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-09-21 01:46 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
