Login / Signup
TEPE: a SysML language for time-constrained property modeling and formal verification.
Daniel Knorreck
Ludovic Apvrille
Pierre de Saqui-Sannes
Published in:
ACM SIGSOFT Softw. Eng. Notes (2011)
Keyphrases
</>
formal verification
modeling language
model checking
model checker
programming language
formal methods
bounded model checking
description languages
program slicing
natural language
metamodel
symbolic model checking
automated verification
real time
orders of magnitude
language learning