Formal Specification, Verification and Simulation of Time-Dependent Systems: a Timed Process Algebra Approach.
Murilo S. de CamargoRoberto Milton ScheffelPublished in: Electron. Notes Theor. Comput. Sci. (1998)
Keyphrases
- process algebra
- formal specification
- asynchronous circuits
- formal methods
- model checking
- concurrent systems
- concurrent programs
- grid workflow
- model checker
- petri net
- specification languages
- temporal logic
- distributed systems
- object oriented design
- software components
- reverse engineering
- communication protocols
- protocol specification
- formal specification language
- knowledge based systems
- software engineering
- formal verification
- specification language
- software development
- information systems
- web services composition
- distributed environment
- expert systems
- high level
- databases