Tools at the Frontiers of Quantitative Verification.

Roman Andriushchenko Alexander Bork Carlos E. Budde Milan Ceska Kush Grover Ernst Moritz Hahn Arnd Hartmanns Bryant Israelsen Nils Jansen Joshua Jeppson Sebastian Junges Maximilian A. Köhl Bettina Könighofer Jan Kretínský Tobias Meggendorfer David Parker Stefan Pranger Tim Quatmann Enno Ruijters Landon Taylor Matthias Volk Maximilian Weininger Zhen Zhang

Published in: CoRR (2024)

Keyphrases

software tools
decision support
qualitative and quantitative
database
search algorithm
building blocks
model checking
formal methods
artificial intelligence
website
image sequences
learning systems
visualization tools
quantitative measures