University of Adelaide Library

Adelaide Research and Scholarship : Schools and Disciplines : School of Computer Science

Formal Modelling and Verification : [1]

Community home page

or browse 

The Formal Modelling and Verification Group is active in the the following areas:

    Modelling Concurrent Systems (Theoretical Issues)
  • Petri Nets
  • 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

    Collections in this community


© 2008 The University of Adelaide
CRICOS Provider Number 00123M
Service Charter | Copyright | Privacy | Disclaimer