Mechanical Verification of an Ideal Incremental ABR Conformance Algorithm

The Coq proof assistant : reference manual, version 6.1

Bruno Barras, Samuel Boutin, Cristina Cornes et al. · OpenGrey (Institut de l'Information Scientifique et Technique) · 1997 · 989 citations · Full text

Computing, Computer Science, Mathematics +15

Congestion control and traffic management in ATM networks: Recent advances and a survey

Raj Jain · Computer Networks and ISDN Systems · 1996 · 455 citations

Business, Performance Management, Computer Networks +16

Subtypes for specifications: predicate subtyping in PVS

John Rushby, Sam Owre, Natarajan Shankar · IEEE Transactions on Software Engineering · 1998 · 139 citations

Computing, Computer Science, Formal Methods +10