Automated runtime verification with eagle

Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2005, in Conjunction with ICEIS 2005

Volumn , Issue , 2005, Pages

  Goldberg, Allen ^a   Havelund, Klaus ^a  

^a Kestrel Technology LLC   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BEHAVIORAL PROPERTIES; COMBINATORS; COMPONENT MODEL; COMPUTER PROGRAM; DATA PARAMETERIZATION; DATA VALUES; EVENT-BASED; EXECUTION TRACE; EXTENDED REGULAR EXPRESSIONS; INTERVAL LOGIC; JAVA LIBRARY; LINEAR TEMPORAL LOGIC; PREPOSITIONAL LOGIC; PRIORITY QUEUES; REAL-TIME LOGIC; RECURSIONS; RUN-TIME VERIFICATION; TEMPORAL KERNEL;

INFORMATION SYSTEMS; PARAMETERIZATION;

TEMPORAL LOGIC;

EID: 78651414013     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (2)

1. 1st, 2nd, 3rd and 4th Workshops on Runtime Verification (RV'01 - RV'04), 2001-2004. Volume 55(2), 70(4), 89(2), 113 of ENTCS., (Elsevier Science Direct)
2. Barringer, H., Goldberg, A., Havelund, K., Sen, K.: Rule-Based Runtime Verification. In Steffen, B., Levi, G., eds.: Proceedings of Fifth International VMCAI conference (VMCAT04). Volume 2937 of LNCS., Springer (2004)