Unbeast

MaRDI QIDQ5974450swMATHFDO

Official website https://www.ruediger-ehlers.de/papers/tacas2011.pdf

Described by source

• Unbeast: Symbolic Bounded Synthesis

Cited in

(21)

• scientific article; zbMATH DE number 7455737 (Why is no real title available?)
• Practical synthesis of reactive systems from LTL specifications via parity games
• The complexity of counting models of linear-time temporal logic
• Synthesis of succinct systems
• scientific article; zbMATH DE number 7278100 (Why is no real title available?)
• JTLV
• QUASY
• LTL2BA
• TTM
• Synthia
• RATSY
• Acacia+
• Strix
• BluSTL
• Linear temporal logic -- from infinite to finite horizon
• Encodings of bounded synthesis
• Efficient trace encodings of bounded synthesis for asynchronous distributed systems
• DejaVu
• Leviathan
• BoSy
• Delag

This page was built for software: Unbeast