000 04461nam a22005775i 4500
001 978-3-540-77395-5
003 DE-He213
005 20240423130227.0
007 cr nn 008mamaa
008 100301s2007 gw | s |||| 0|eng d
020 _a9783540773955
_9978-3-540-77395-5
024 7 _a10.1007/978-3-540-77395-5
_2doi
050 4 _aQA76.76.C65
072 7 _aUMC
_2bicssc
072 7 _aCOM010000
_2bisacsh
072 7 _aUMC
_2thema
082 0 4 _a005.45
_223
245 1 0 _aRuntime Verification
_h[electronic resource] :
_b7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers /
_cedited by Oleg Sokolsky, Serdar Tasiran.
250 _a1st ed. 2007.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2007.
300 _aVIII, 218 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aProgramming and Software Engineering,
_x2945-9168 ;
_v4839
505 0 _aInvited 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 _aRuntime 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 _aCompilers (Computer programs).
650 0 _aSoftware engineering.
650 0 _aComputer science.
650 0 _aElectronic data processing
_xManagement.
650 1 4 _aCompilers and Interpreters.
650 2 4 _aSoftware Engineering.
650 2 4 _aComputer Science Logic and Foundations of Programming.
650 2 4 _aIT Operations.
700 1 _aSokolsky, Oleg.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aTasiran, Serdar.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540773948
776 0 8 _iPrinted edition:
_z9783540846772
830 0 _aProgramming and Software Engineering,
_x2945-9168 ;
_v4839
856 4 0 _uhttps://doi.org/10.1007/978-3-540-77395-5
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cSPRINGER
999 _c186391
_d186391