Automated Derivation of Time Bounds in Uniprocessor Concurrent Systems.
George S. AvruninJames C. CorbettLaura K. DillonJack C. WiledenPublished in: IEEE Trans. Software Eng. (1994)
Keyphrases
- concurrent systems
- temporal logic
- distributed systems
- process algebra
- model checking
- upper bound
- formal specification
- petri net
- semi automated
- transition systems
- lower bound
- error bounds
- fully automated
- lower and upper bounds
- tight bounds
- neural network
- semi automatic
- upper and lower bounds
- average case
- search algorithm
- real time