NModel

swMATH11364MaRDI QIDQ23310FDOQ23310

Author name not available (Why is that?)

Described by source

• Model-Based Software Testing and Analysis with C#

Cited In (8)

• \(L^\ast\)-based learning of Markov decision processes (extended version)
• On Bounded Reachability of Programs with Set Comprehensions
• Composing model programs for analysis
• 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