Login / Signup
Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification.
Kent Inge Fagerland Simonsen
Lars Michael Kristensen
Ekkart Kindler
Published in:
Trans. Petri Nets Other Model. Concurr. (2016)
Keyphrases
</>
coloured petri nets
formal verification
model checking
model checker
software tools
case study
source code
software development
software architecture
development process
software design
formal analysis
manually annotated