Skip to content
View anaumchev's full-sized avatar
5 followers · 0 following

Block or report anaumchev

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. requirements_templates requirements_templates Public

    A library of reusable templates for constructing verifiable and expressive requirements.

    Eiffel 2

  2. VDO-Patterns VDO-Patterns Public

    Testing with seamless object oriented requirements in Java as part of VeriDevOps project.

    Java 2 1

  3. alias_graph_based alias_graph_based Public

    Forked from varivera/alias_graph_based

    Eiffel 1

  4. autoproof autoproof Public

    Eiffel 1 1

  5. e4pubs e4pubs Public

    Eiffel examples for applying AutoProof

    Eiffel 1 2

  6. lgs_ground_model lgs_ground_model Public

    Complements the "AutoReq: Expressing and verifying requirements for control systems" article (https://www.sciencedirect.com/science/article/pii/S1045926X18301514).

    Boogie