Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Sprenger, Christoph - Departement Informatik, Eidgenössische Technische Hochschule Zürich (ETHZ)
A NOTE ON GLOBAL INDUCTION MECHANISMS IN A -CALCULUS WITH EXPLICIT APPROXIMATIONS
Version Abrege vii Abstract ix
A Monad-based Modeling and Verification Toolbox with Application to Security Protocols
A verified model checker for the modal calculus in Coq
Theoretical Informatics and Applications Will be set by the publisher Informatique Thorique et Applications
A Verification Methodology for InfiniteState Message Passing Systems Christoph Sprenger
A(F, F G) A()
A veri ed model checker for the modal -calculus in Coq
Deductive Local Model Checking On the Veri cation of CTL* Properties of
Compositional Verification for Secure Loading of Smart Card Applets # Christoph Sprenger +
Deductive Model Checking of CTL* Properties
Compositional Verification for Secure Loading of Smart Card Applets Christoph Sprenger
1 2
a b
A Verification Methodology for Infinite-State Message Passing Systems Christoph Sprenger
Refining Key Establishment Christoph Sprenger
