Runtime Verification 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers /

Runtime veri?cation is a recent direction in formal methods research, which is complementary to such well-established formal veri?cation methods as model checking. Research in runtime veri?cation deals with formal languages suitable for expressing system properties that are checkable at run time; al...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Sokolsky, Oleg (Επιμελητής έκδοσης), Taşıran, Serdar (Επιμελητής έκδοσης)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
Σειρά:Lecture Notes in Computer Science, 4839
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
LEADER 04328nam a22005655i 4500
001 978-3-540-77395-5
003 DE-He213
005 20151204142445.0
007 cr nn 008mamaa
008 100301s2007 gw | s |||| 0|eng d
020 |a 9783540773955  |9 978-3-540-77395-5 
024 7 |a 10.1007/978-3-540-77395-5  |2 doi 
040 |d GrThAP 
050 4 |a QA76.7-76.73 
050 4 |a QA76.76.C65 
072 7 |a UMX  |2 bicssc 
072 7 |a UMC  |2 bicssc 
072 7 |a COM051010  |2 bisacsh 
072 7 |a COM010000  |2 bisacsh 
082 0 4 |a 005.13  |2 23 
245 1 0 |a Runtime Verification  |h [electronic resource] :  |b 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers /  |c edited by Oleg Sokolsky, Serdar Taşıran. 
264 1 |a Berlin, Heidelberg :  |b Springer Berlin Heidelberg,  |c 2007. 
300 |a VIII, 218 p.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a Lecture Notes in Computer Science,  |x 0302-9743 ;  |v 4839 
505 0 |a Invited Paper -- PSL for Runtime Verification: Theory and Practice -- AOP-Related Papers -- On the Semantics of Matching Trace Monitoring Patterns -- Collaborative Runtime Verification with Tracematches -- Static and Dynamic Detection of Behavioral Conflicts Between Aspects -- Escaping with Future Variables in HALO -- Runtime Verification of Interactions: From MSCs to Aspects -- Towards a Tool for Generating Aspects from MEDL and PEDL Specifications for Runtime Verification -- ARVE: Aspect-Oriented Runtime Verification Environment -- Core Runtime Verification Papers -- From Runtime Verification to Evolvable Systems -- Rule Systems for Run-Time Monitoring: From Eagle to RuleR -- The Good, the Bad, and the Ugly, But How Ugly Is Ugly? -- Translation Validation of System Abstractions -- Instrumentation of Open-Source Software for Intrusion Detection -- Statistical Runtime Checking of Probabilistic Properties -- Temporal Assertions with Parametrised Propositions -- Rollback Atomicity -- Runtime Checking for Program Verification. 
520 |a Runtime veri?cation is a recent direction in formal methods research, which is complementary to such well-established formal veri?cation methods as model checking. Research in runtime veri?cation deals with formal languages suitable for expressing system properties that are checkable at run time; algorithms for checking of formal properties over an execution trace; low-overhead means of extracting information from the running system that is su?cient for checking of the property. Applications of runtime veri?cation technology include po- deployment monitoring of system correctness and performance; construction of formally speci?ed test oracles; collection of statistics about system behavior, among others. The Workshop on Runtime Veri?cation was started in 2001 and has been held annually since then. The workshop was co-located with the Conference on Computer-Aided Veri?cation (CAV) in 2001–2003 and 2005–2006;and with the European Joint Conferences on Theory and Practice of Software (ETAPS) in 2004. In 2007, the workshop was held on March 13, 2007 in Vancouver, British Columbia, Canada, co-located to the Conference on Aspect-Oriented Software Development (AOSD) in order to explore the emerging connections between the two communities. 
650 0 |a Computer science. 
650 0 |a Software engineering. 
650 0 |a Programming languages (Electronic computers). 
650 0 |a Computer logic. 
650 0 |a Management information systems. 
650 1 4 |a Computer Science. 
650 2 4 |a Programming Languages, Compilers, Interpreters. 
650 2 4 |a Software Engineering. 
650 2 4 |a Logics and Meanings of Programs. 
650 2 4 |a Management of Computing and Information Systems. 
700 1 |a Sokolsky, Oleg.  |e editor. 
700 1 |a Taşıran, Serdar.  |e editor. 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer eBooks 
776 0 8 |i Printed edition:  |z 9783540773948 
830 0 |a Lecture Notes in Computer Science,  |x 0302-9743 ;  |v 4839 
856 4 0 |u http://dx.doi.org/10.1007/978-3-540-77395-5  |z Full Text via HEAL-Link 
912 |a ZDB-2-SCS 
912 |a ZDB-2-LNC 
950 |a Computer Science (Springer-11645)