Electronic Notes in Theoretical Computer Science, Volume 145
Proceedings of the 5th International Workshop on Automated Verification of Critical Systems (AVoCS 2005)
Cliff B. Jones:
Reasoning About Partial Functions in the Formal Development of Programs. 3-25 Hasan Amjad:
Verification of AMBA Using a Combination of Model Checking and Theorem Proving. 45-61 Tobe Toben,
Bernd Westphal:
Concurrent LSC Verification: On Decomposition Properties of Partially Ordered Symbolic Automata. 95-111 Nathaniel Charlton:
Verification of Java Programs with Interacting Analysis Plugins. 131-150
maintained by

, founded at
