A framework for model checking UDP network programs with Java pathfinder.
William RathjeBrad RichardsPublished in: HILT (2014)
Keyphrases
- model checking
- temporal logic
- artifact centric
- abstract interpretation
- finite state
- object oriented
- computation tree logic
- formal verification
- pspace complete
- epistemic logic
- artificial intelligence
- logical framework
- formal specification
- finite state machines
- reactive systems
- linear temporal logic
- ordered binary decision diagrams
- programming language
- partial order reduction