Login / Signup
SAVE/GTS-VLT: Visual Logic Tool for Geo-Temporal Specification and Verification of Safety Requirements in Smart IoT Systems.
Sunghyun Lee
Moonkun Lee
Published in:
PrOse@PoEM (2019)
Keyphrases
</>
formal verification
management system
formal methods
commercial off the shelf
logic programming
complex systems
asynchronous circuits
expert systems
intelligent systems
visual features
application specific
requirements engineering
visual representation
high assurance