Baike.dev
Все инструментыТрендыOpen SourceНовостиДобавить
Войти
< 返回工具列表
J

jlisa

> 数据库
开源

Java static analyzer built on LiSA — abstract interpretation, interprocedural analysis, and formal program verification. SV-COMP 2026 🥉

30 stars0 点赞0 次浏览
访问官网GitHub

> 标签

Javaabstract-interpretationformal-methodsformal-verificationjava

暂无评论，来聊聊你的看法吧

> 工具信息

发布日期2026年8月1日
最后更新2026年8月1日
分类数据库
定价开源

> 相关工具

P
PostgreSQL
功能强大的开源关系型数据库
R
Redis
内存数据结构存储，常用作缓存与队列
M
MySQL
广泛使用的开源关系型数据库
Baike.dev

baike.dev помогает находить языки, фреймворки, базы данных, DevOps и cloud-native инструменты.

Быстрые ссылки

  • Главная
  • Все инструменты
  • Тренды
  • Open Source

О нас

  • О нас
  • Сообщество
  • Новости

Участвовать

Нашли отличный инструмент? Поделитесь им.

Добавить инструмент
© 2026 baike.dev Энциклопедия разработчикаОбновляется ежедневно · Открывайте лучшие инструменты