Runtime verification : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings /: 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings. (2017)

• Record Type: Book
• Other Titles: RV 2017
• Further Information: Note: Shuvendu Lahiri, Giles Reger (eds.).
• Editors: Lahiri, Shuvendu; Reger, Giles
• Other Names: RV (Conference), 17th
• Contents: Stream Runtime Monitoring on UAS -- Probabilistic Black-Box Reachability Checking -- Combining Symbolic Runtime Enforcers for Cyber-Physical Systems -- Almost Event-Rate Independent Monitoring of Metric Dynamic Logic -- Annotation Guided Collection of Context-Sensitive Parallel Execution Profiles -- Signal Clustering using Temporal Logics -- Space Efficient Breadth-First and Level Traversals of Consistent Global States of Parallel Programs -- Witnessing Network Transformations -- Combining Model Checking and Runtime Verification for Safe Robotics -- Monitoring Hyperproperties -- TeLEx: Passive STL Learning Using Only Positive Examples -- From Model Checking to Runtime Verification and Back Verifying Policy Enforcers -- Hierarchical Non-Intrusive In-Situ Requirements Monitoring for Embedded Systems -- Monitoring Partially Synchronous Distributed Systems using SMT Solvers -- Runtime Detection of Temporal Memory Errors -- Control Dependencies in Interpretive Systems -- Monitoring Time Intervals.
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2017
• Extent: 1 online resource (xix, 432 pages), illustrations
• Subjects: 005.1/4; Computer science; Computer software -- Verification -- Congresses; Formal methods (Computer science) -- Congresses; Computer software -- Testing -- Congresses; Computer software -- Testing; Computer software -- Verification; Formal methods (Computer science); Computer Science; Software Engineering; Programming Languages, Compilers, Interpreters; Programming Techniques; Systems and Data Security; System Performance and Evaluation; Computers -- Programming Languages -- General; Computers -- Programming -- General; Computers -- Security -- General; Computers -- Hardware -- Handheld Devices; Programming & scripting languages: general; Computer programming / software development; Computer security; Systems analysis & design; Software engineering; Computer security; Computer system performance; Computers -- Software Development & Engineering -- General; Software Engineering; Electronic books; Conference papers and proceedings
• Languages: English
• ISBNs: 9783319675312; 3319675311; 3319675303; 9783319675305
• Related ISBNs: 9783319675305
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed September 14, 2017).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.