kouzdra (kouzdra) wrote,
kouzdra
kouzdra

Кругом Бандера:

About Bandera

These pages present the Bandera tool set for model checking concurrent Java software. The next generation of the Bandera tool set is under development and we hope to have an initial public release ready by the summer of 2005. The next generation of Bandera will provide significantly more robust and scalable software checking capabilities than those found in Bandera 0.3 (the latest version described on these web pages).

You may also be interested in looking at some other software tools that have been developed in the SAnToS Group at Kansas State University and the ESQuaReD Group at University of Nebraska (Lincoln).
Subscribe

  • Похоже прививочно-локдаунная

    Активность властей начала статистически значимо проявляться в уводе трудовых отношений в серую и черную зоны. Что в целом ожидаемо - по мере…

  • Умопомрачительное

    Тцт рассуждают о том что "вы тоже считаете, что доменный регистратор удаляет паспортные данные клиентов?" Интересно само представление о…

  • Трагедия Курьера

    Вообще же я с интересом уж смотрю на прогрессирующую параноечку в стиле Пинчона и Бразилии Гильяма. Что зарегулировать бардак все равно не выйдет я…

  • Post a new comment

    Error

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

    When you submit the form an invisible reCAPTCHA check will be performed.
    You must follow the Privacy Policy and Google Terms of use.
  • 7 comments