 |
| |
The Software Engineering and Formal Methods
Research
Group is active in the the following areas:
Software Engineering Techniques
-
Requirements Engineering for Safety-Critical
System
Modelling Concurrent Systems (Theoretical Issues)
-
Communicating Sequential Processes
-
Modelling and verification of heterogeneous
systems
- Language and semantic support for systems level
design
- Representation of functional and constraint
information
- Component based verification of dataflow process
networks
Analysis of Concurrent Systems (Tool issues)
-
Petri net reachability and invariant
analysis of specifications utilising references and refinement
-
Model/refinement checking
-
Simulation, animation and model checking of
heterogeneous systems
|
| |
|
|
