Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Yury Yusupov
Automated Creation of Verification Model for C-Programs
Related publications
Model Classifications and Automated Verification
Automated Deduction for Verification
ACM Computing Surveys
Computer Science
Theoretical Computer Science
Towards Automated fUML Model Verification With Petri Nets
Automated Verification Techniques for Probabilistic Systems
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
Formal Verification of Programs for Abstract Register Machines
Bulletin of the Novosibirsk Computing Center. Series:Computer Science
Automated Techniques for Higher-Order Program Verification
Progress in Informatics
An Algebraic Approach for PLC Programs Verification
Program Transformation for Development, Verification, and Synthesis of Programs
Intelligenza Artificiale
Artificial Intelligence
