Runtime Verification [electronic resource] : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers / edited by Saddek Bensalem, Doron A. Peled.
Material type: TextSeries: Lecture Notes in Computer Science ; 5779Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Description: VII, 203 p. online resourceContent type: text Media type: computer Carrier type: online resourceISBN: 9783642046940Subject(s): Computer science | Operating systems (Computers) | Computer system performance | Software engineering | Computer software | Logic design | Computer Science | Software Engineering | Performance and Reliability | Programming Languages, Compilers, Interpreters | System Performance and Evaluation | Algorithm Analysis and Problem Complexity | Logics and Meanings of ProgramsAdditional physical formats: Printed edition:: No titleDDC classification: 005.1 LOC classification: QA76.758Online resources: Click here to access onlineCurrent library | Home library | Call number | Materials specified | URL | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
IMSc Library | IMSc Library | Link to resource | Available | EBK8795 |
Rule Systems for Runtime Verification: A Short Tutorial -- Verification, Testing and Statistics -- Type-Separated Bytecode – Its Construction and Evaluation -- Runtime Verification of Safety-Progress Properties -- Monitor Circuits for LTL with Bounded and Unbounded Future -- State Joining and Splitting for the Symbolic Execution of Binaries -- The LIME Interface Specification Language and Runtime Monitoring Tool -- A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing -- Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming -- Runtime Verification of C Memory Safety -- A Combined On-Line/Off-Line Framework for Black-Box Fault Diagnosis -- Hardware Supported Flexible Monitoring: Early Results -- DMaC: Distributed Monitoring and Checking.
There are no comments on this title.