Sökning: "Symbolic Model Checking"
Visar resultat 6 - 10 av 21 avhandlingar innehållade orden Symbolic Model Checking.
6. A study of symbolic tools in automatic control
Sammanfattning : .... LÄS MER
7. Incremental and Hierarchical Deadlock-Free Control of Discrete Event Systems with Variables: A Symbolic and Inductive Approach
Sammanfattning : Today's industry trend towards agile product development cycles and the ambition to shorten the time-to-market, represents an extremely competitive marketplace. This has driven the industry to use very complex and highly flexible manufacturing systems. LÄS MER
8. Verification of Parameterized and Timed Systems : Undecidability Results and Efficient Methods
Sammanfattning : Software is finding its way into an increasing range of devices (phones, medical equipment, cars...). LÄS MER
9. Infinite-state Stochastic and Parameterized Systems
Sammanfattning : A major current challenge consists in extending formal methods in order to handle infinite-state systems. Infiniteness stems from the fact that the system operates on unbounded data structure such as stacks, queues, clocks, integers; as well as parameterization. LÄS MER
10. Formal Methods for Scalable Synthesis and Verification of Autonomous Systems : Mission Planning and Collision Avoidance
Sammanfattning : Autonomous systems (a.k.a., agents) are often designed to move and execute tasks, without or with little human intervention. LÄS MER