Concepedia

Protocol verification with the ALDÉBARAN toolset

Marius Bozga, Jean-Claude Fernandez, Alain Kerbrat, Laurent Mounier

International Journal on Software Tools for Technology Transfer · 1997 · 39 citations · 13 references

Open access

Concepts

ComputingComputer ScienceComputer SystemsAuthenticationFormal MethodsSecurity ProtocolsAuthentication ProtocolsDeductive VerificationNetwork ProtocolsProtocol AnalysisProtocol VerificationVerificationAutomated Protocol VerificationAutomatic Protocol VerificationFormal Verification Tools For Cryptographic ProtocolsProtocol Formal VerificationProtocol Testing

References

13

Communicating sequential processes

C. A. R. Hoare · Communications of the ACM · 1983 · 3.8K citations · Full text

Computing, Computer Science, Computer Architecture +16

Automatic verification of finite-state concurrent systems using temporal logic specifications

E. M. Clarke, E. Allen Emerson, A. Prasad Sistla · ACM Transactions on Programming Languages and Systems · 1986 · 3.6K citations · Full text

Computing, Computer Science, Formal Methods +16

A stubborn attack on state explosion

Antti Valmari · Formal Methods in System Design · 1992 · 575 citations

Computing, Cybersecurity, Dynamical Systems +2

Better verification through symmetry

C. Norris Ip, David L. Dill · Formal Methods in System Design · 1996 · 491 citations

Natural Sciences, Physics, Theoretical Physics +9

An Analysis of Bitstate Hashing

Gerard J. Holzmann · Formal Methods in System Design · 1998 · 173 citations

Computing, Computer Engineering, Computer Science +10