NModel

swMATH11364MaRDI QIDQ23310

No author found.

Described by source

• Model-Based Software Testing and Analysis with C#

Related Items (8)

Introduction to Model Checking ⋮ Incremental bounded model checking for embedded software ⋮ \(L^\ast\)-based learning of Markov decision processes (extended version) ⋮ Composing model programs for analysis ⋮ State Isomorphism in Model Programs with Abstract Data Structures ⋮ Composition of Model Programs ⋮ Integration of verification methods for program systems ⋮ On Bounded Reachability of Programs with Set Comprehensions

This page was built for software: NModel