Login / Signup
Formal Verification for Validation of PSEEL's PLC Program.
Mohamed Niang
Alexandre Philippot
François Gellot
Raphaël Coupat
Bernard Riera
Sébastien Lefebvre
Published in:
ICINCO (1) (2017)
Keyphrases
</>
formal verification
program slicing
model checking
automated verification
bounded model checking
symbolic model checking
model checker
temporal logic
test cases
real time
software development
computer programs
test suite
static analysis
functional verification