Towards a Tool for Generating Aspects from MEDL and PEDL Specifications for Runtime Verification.

Omar Ochoa Irbis Gallegos Steve Roach Ann Q. Gates

Published in: RV (2007)

Keyphrases

automated verification
concurrent systems
model checking
formal verification
model checker
bounded model checking
high level
asynchronous circuits
formal methods
software tools
database
object oriented
databases
specification language
natural language
decision making
computer vision