FocusCheck

MaRDI QIDQ14038swMATHFDO

Official website http://www.cs.iastate.edu/~sbasu/research/papers/kbss.tacas05.pdf

Described by source

• Tools and Algorithms for the Construction and Analysis of Systems

Cited in

(19)

• DiVer
• FunFrog
• DiSL
• gmm++
• ESBMC
• RE2
• CCMC
• GOAL
• Mosel
• CDSChecker
• JNuke
• RegExLib
• BisimDist
• dtControl
• Tools and Algorithms for the Construction and Analysis of Systems
• Diffy
• iDFlakies
• PAYNT
• textX

This page was built for software: FocusCheck