FocusCheck

swMATH1298MaRDI QIDQ14038FDOQ14038

Author name not available (Why is that?)

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 (18)

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

This page was built for software: FocusCheck