Towards a Modular Approach to Model-Based Verification: logical, semantical and algorithmic support
Model-based verification is a highly successful formal method for hardware/software development. Depending on the hardware/software systems of interest, existing model-based approaches to verification use different types of mathematical models to describe abstract system behaviour, and the verification techniques they employ are tailored to these model types. However, different approaches also share certain
Number of items: 8.
Cirstea, C. and Sadrzadeh, M. (2008) Modular Games for Coalgebraic Fixed Point Logics. In: Coalgebraic Methods in Computer Science 2008. pp. 71-92.
Baltag, A., Coecke, B. and Sadrzadeh, M. (2007) Epistemic Actions as Resources. Journal of Logic and Computation, to appear, 17 (3). pp. 555-585. (In Press)
Cirstea, C. and Pattinson, D. (2007) Modular Construction of Complete Coalgebraic Logics. Theoretical Computer Science, 388 . pp. 83-108.
Richards, S. and Sadrzadeh, M. (2007) Aximo: automated axiomatic reasoning for information update. In: Methods for Modal Logic, 29-30 November 2007, Ecole Normal Superieur, Cachan, France.
Sadrzadeh, M. (2007) Pregroup Analysis of Persian Sentences. In: Recent computational algebraic approaches to morphology and syntax, UNSPECIFIED. (In Press)
Cirstea, C. (2006) Modularity in Coalgebra. In: 8th International Workshop on Coalgebraic Methods in Computer Science. pp. 3-26.
Sadrzadeh, M. (2006) High Level Quantum Structures in Linguistics and Multi-Agent Systems. In: AAAI Spring Symposia on Quantum Interactions, March 2007, Stanford University, California. (In Press)
Sadrzadeh, M. and Cirstea, C. (2006) Relating Algebraic and Coalgebraic Logics of Knowledge and Update. In: Logic and the Foundations of Game and Decision Theory, July 13-16, University of Liverpool.
Publications included from http://eprints.ecs.soton.ac.uk/view/projects/368.include.