Cover Image
Read Now

Runtime Verification 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers

Bibliographic Details
Other Authors: Bensalem, Saddek (Editor), Peled, Doron A. (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2009, 2009
Edition:1st ed. 2009
Series:Programming and Software Engineering
Subjects:
Electronic Digital Computers / Evaluation
Compilers (computer Programs)
Compilers And Interpreters
Software Engineering
Computer Science
System Performance And Evaluation
Hardware Performance And Reliability
Computers
Theory Of Computation
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
LEADER 02197nmm a2200373 u 4500
001 EB000383236
003 EBX01000000000000000236288
005 00000000000000.0
007 cr|||||||||||||||||||||
008 130626 ||| eng
020 |a 9783642046940 
100 1 |a Bensalem, Saddek  |e [editor] 
245 0 0 |a Runtime Verification  |h Elektronische Ressource  |b 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers  |c edited by Saddek Bensalem, Doron A. Peled 
250 |a 1st ed. 2009 
260 |a Berlin, Heidelberg  |b Springer Berlin Heidelberg  |c 2009, 2009 
300 |a VII, 203 p  |b online resource 
505 0 |a 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 
653 |a Electronic digital computers / Evaluation 
653 |a Compilers (Computer programs) 
653 |a Compilers and Interpreters 
653 |a Software engineering 
653 |a Computer science 
653 |a System Performance and Evaluation 
653 |a Hardware Performance and Reliability 
653 |a Software Engineering 
653 |a Computers 
653 |a Theory of Computation 
700 1 |a Peled, Doron A.  |e [editor] 
041 0 7 |a eng  |2 ISO 639-2 
989 |b Springer  |a Springer eBooks 2005- 
490 0 |a Programming and Software Engineering 
028 5 0 |a 10.1007/978-3-642-04694-0 
856 4 0 |u https://doi.org/10.1007/978-3-642-04694-0?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 005.1 

Similar Items