Abstract
Part I: Overview of Verification General Purpose Theorem Proving Methods in the Verification of Digital Hardware and Software Temporal Logic and Model Checking Model Checking Using Automata Theory Complexity Issues in Automata Theoretic Verification Symbolic Model Checking Compositional Systems and Methods Symmetry and Model Checking Partial Order Reductions Probabilistic Model Checking: Formalisms and Algorithms for Discrete and Real-Time Systems Formal Verification in a Commercial Setting Part II: Timed Automata The Theory of Hybrid Automata On the Composition of Hybrid Systems Reach Set Computation Using Optimal Control Control for a Class of Hybrid Systems The SHIFT Programming Language and Run-Time System for Dynamic Networks of Hybrid Automata The Teja System for Real-Time Dynamic Event Management Automated Highway Systems: an Example of Hierarchical Control.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
