swMATH11364MaRDI QIDQ23310FDOQ23310
Author name not available (Why is that?)
Official website: http://nmodel.codeplex.com/
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
