Reliable Software Systems is a research line at LaSIGE – Large-Scale Informatics Systems Laboratory. LaSIGE is a research unit at the Department of Informatics, Faculty of Sciences, University of Lisbon.
The main focus is on modelling techniques and formal analysis approaches to software system structure and behaviour. The group addresses methods and tools for enhancing the software engineering practice, within a software engineering perspective.
Topics: Software verification and validation, Programming languages, Models of Computation, Concurrency theory, Formal Methods and Theory of Security, Type systems, Logic, Software architectures.