Tools and Algorithms for the Construction and Analysis of Systems

DOI10.1007/b107194zbMath1087.68550OpenAlexW2497867240MaRDI QIDQ5703785

Feng Chen, Grigore Roşu

Publication date: 10 November 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b107194

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of software (68N99)

Related Items (10)

Model-checking structured context-free languages ⋮ Modularizing behavioral and architectural crosscutting concerns in formal component-based systems -- application to the behavior interaction priority framework ⋮ Provably correct runtime monitoring ⋮ Verifying data- and control-oriented properties combining static and runtime verification: theory and tools ⋮ Runtime verification with minimal intrusion through parallelism ⋮ Sound concurrent traces for online monitoring ⋮ Lang-n-Send Extended: Sending Regular Expressions to Monitors ⋮ Time-triggered runtime verification ⋮ Runtime verification for dynamic architectures ⋮ Java-MOP

Uses Software

• JML
• JPAX
• MOP
• Java-MaC
• Jass

This page was built for publication: Tools and Algorithms for the Construction and Analysis of Systems