ViennaTalk and Assertch: Building Lightweight Formal Methods Environments on Pharo 4.

Tomohiro Oda Keijiro Araki Peter Gorm Larsen

Published in: IWST (2016)

Keyphrases

lightweight
formal methods
development environments
formal analysis
artificial intelligence
knowledge based systems
model checking
process algebra
model checker
safety critical
wireless sensor networks
formal specification
software engineering
temporal logic
databases
web services