Search Results - "Theory of computation Logic Verification by model checking"

HaiQ: Synthesis of Software Design Spaces with Structural and Probabilistic Guarantees by Camara, Javier

“…, architectures, object-relational mappings) captured as sets of relational constraints. However, their applicability is limited when software is subject to uncertainty (derived, e.g…”
Get full text