Login / Signup
Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification.
Kent Inge Fagerland Simonsen
Lars Michael Kristensen
Ekkart Kindler
Published in:
PNSE @ Petri Nets (2015)
Keyphrases
</>
coloured petri nets
formal verification
model checking
model checker
software systems
temporal logic
software development
natural language processing
software maintenance
formal specification
generation process
source code
computer systems
web services
software design
formal semantics
case study