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

This page was built for software: NModel