NModel

swMATH11364MaRDI QIDQ23310FDOQ23310

Author name not available (Why is that?)

Official website: http://nmodel.codeplex.com/

Described by source

• Model-Based Software Testing and Analysis with C#

Cited In (20)

• \(L^\ast\)-based learning of Markov decision processes (extended version)
• AALpy
• On Bounded Reachability of Programs with Set Comprehensions
• Composing model programs for analysis
• ALFRED
• UniTESK
• TorX
• LearnLib
• SpecExplorer
• TestNG
• Limi
• Liss
• AGEDIS
• prob-black-reach
• SFADiff
• Integration of verification methods for program systems
• Incremental bounded model checking for embedded software
• Introduction to model checking
• Composition of Model Programs
• State Isomorphism in Model Programs with Abstract Data Structures

This page was built for software: NModel