Formal Methods and Hybrid Real-Time Systems
Publication year: 2007
ISBN: 978-3-540-75221-9
Internet Resource: Please Login to download book
This paper presents a few of these, including a distributed garbage collection problem, distributed consensus problems for reconciling tree-like data structures, using model-based test case generation, and the use of software model checking in design and development process.
Subject: Computer Science, Algorithms, algorithm, design, formal method, logic, modeling, organization, real-time, software engineering, verification
