NModel

MaRDI QIDQ23310swMATHFDO

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

Described by source

• Model-Based Software Testing and Analysis with C#

Cited in

(20)

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

This page was built for software: NModel