Specification format in ProVerB

• ACSL
• AIGER
• ba
• BLOG
• BTOR
• BTOR2
• DIMACS
• ERAN language
• GOSPEL
• HOA
• JANI
• JavaDL
• JML
• LNT
• ONNX
• PRISM language
• PROMELA
• QAIGER
• QDIMACS
• RTLola
• SMT-LIB
• SPEAR MAF
• SyGuS language
• TPDB
• Verilog
• WhyML

26 items on this list.