Formal System Verification

DOI10.1007/978-3-319-57685-5zbMath1403.68012WikidataQ60373952 ScholiaQ60373952MaRDI QIDQ4610434

No author found.

Publication date: 15 January 2019

Full work available at URL: https://doi.org/10.1007/978-3-319-57685-5

Mathematics Subject Classification ID

00B15: Collections of articles of miscellaneous specific interest

68-06: Proceedings, conferences, collections, etc. pertaining to computer science

68Q60: Specification and verification (program logics, model checking, etc.)

Uses Software

• MiniSat
• PRISM
• PVS
• PHAVer
• MRMC
• PASS
• Uppaal
• sQueezeBF
• PARAM
• d/dt
• SpaceEx
• UPPAAL TIGA
• PRISM-games
• Rapture
• PROPhESY
• iscasMc
• POWER-TRUCTOR
• ASDeX
• AMT