Special issue on Automated Verification of Critical Systems (AVoCS 2013).

Steve A. Schneider Helen Treharne

Published in: Sci. Comput. Program. (2015)

Keyphrases

special issue
automated verification
model checking
ai edam
international journal
applied intelligence
distributed systems
ecml pkdd
artificial intelligence
special section
computer science
future directions
automated reasoning
information systems
probabilistic model
temporal logic