{"product_id":"model-checking-software-9783031661488","title":"Model Checking Software","description":"\u003cb\u003eBook Synopsis\u003c\/b\u003e\u003cbr\u003e\u003cp\u003eTaming the AI Monster: Monitoring of Individual Fairness for Effective Human Oversight.- MoXI: An Intermediate Language for Symbolic Model Checking. \u003cstrong\u003eModel Checking: \u003c\/strong\u003eSynchronisation in Language-level Symmetry Reduction for Probabilistic Model Checking.- A Hypergraph-based Formalization of Hierarchical Reactive Modules and a Compositional Verification Method. \u003cstrong\u003eAnniversary: \u003c\/strong\u003eTwo Decades of Industrializing Formal Verification: The Reactis Story.- Automated Reasoning in Quantum Circuit Compilation. \u003cstrong\u003eAutomated Reasoning: \u003c\/strong\u003eRandom Access on Narrow Decision Diagrams in External Memory.- Solving Constrained Horn Clauses as C Programs with CHC2C. \u003cstrong\u003eVerification Tools: \u003c\/strong\u003eLearning the State Machine Behind a Modal Text Editor: The (Neo)Vim Case Study.- Tolerange: Quantifying Fault Masking in Stochastic Systems.- Software Verification Witnesses 2.0.- Fault Localization on Verification Witnesses. \u003cstrong\u003eSoftware Verification: \u003c\/strong\u003eAugmenting Interpolation-Based Model Checking with Auxiliary Invariants.- Test-Case Generation with Automata-based Software Model Checking.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Default Title","offer_id":53195393368407,"sku":"9783031661488","price":44.99,"currency_code":"GBP","in_stock":true}],"url":"https:\/\/bookcurl.com\/products\/model-checking-software-9783031661488","provider":"Book Curl","version":"1.0","type":"link"}