Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by I. S. Anureev
Deductive Verification of Telecommunication Systems Written in C
Automatic Control and Computer Sciences
Control
Systems Engineering
Signal Processing
Software
Related publications
Deductive Software Verification
International Journal on Software Tools for Technology Transfer
Information Systems
Software
Towards Formal Verification of TLS Network Packet Processing Written in C
Telecommunication Systems
Deductive Verification of Advanced Out-Of-Order Microprocessors
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automating Deductive Verification for Weak-Memory Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Family-Based Deductive Verification of Software Product Lines
Deductive Systems for BigData Integration
Journal of Economic Development, Environment and People
Minimal Deductive Systems for RDF
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The Why/Krakatoa/Caduceus Platform for Deductive Program Verification
