#
Formal methods (Computer science)
Resource Information
The concept ** Formal methods (Computer science)** represents the subject, aboutness, idea or notion of resources found in **University of Liverpool**.

The Resource
Formal methods (Computer science)
Resource Information

The concept

**Formal methods (Computer science)**represents the subject, aboutness, idea or notion of resources found in**University of Liverpool**.- Label
- Formal methods (Computer science)

## Context

Context of Formal methods (Computer science)#### Subject of

- A pragmatic introduction to the finite element method for thermal and stress analysis : with the matlab toolkit SOFEA
- Communicating embedded systems : software and design : formal methods
- Complete symbolic simulation of SystemC models : efficient formal verification of finite non-terminating programs
- Computer-aided reasoning : an approach
- Computers in language research, 2
- Concise guide to formal methods : theory, fundamentals and industry applications
- Constructing correct software
- Digital system verification : a combined formal methods and simulation framework
- Duration calculus : a formal approach to real-time systems
- Dynamic logic
- Dynamic logic
- Fields of logic and computation : essays dedicated to Yuri Gurevich on the occasion of his 70th birthday
- Formal concept analysis of social networks
- Formal development of a network-centric RTOS : software engineering for reliable embedded systems
- Formal method : industrial use from model to the code
- Formal methods : an appetizer
- Formal methods : state of the art and new directions
- Formal methods and software engineering : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007 : proceedings
- Formal methods and testing : an outcome of the FORTEST network : revised selected papers
- Formal methods and testing : an outcome of the FORTEST network ; revised selected papers
- Formal methods applied to complex systems : implementation of the B method
- Formal methods for industrial critical systems : a survey of applications
- Formal methods for industrial critical systems : a survey of applications
- Formal methods for mining structured objects
- Formal methods for nonmonotonic and related logics, Vol I, Preference and size
- Formal methods for nonmonotonic and related logics, Vol II, Theory revision, inheritance, and various abstract properties
- Formal methods for safety and security : case studies for aerospace applications
- Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday
- Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday
- Formal modeling : actors, open systems, biological systems ; essays dedicated to Carolyn Talcott on the occasion of her 70th birthday
- Formal modeling and analysis of distributed systems : an introduction based on executable modeling in Maude
- Formal verification of floating-point hardware design : a mathematical approach
- Foundations of algebraic specification and formal software development
- Fuzzy computational ontologies in contexts : formal models of knowledge representation with membership degree and typicality of objects, and their applications
- It's all about coordination : essays to celebrate the lifelong scientific achievements of Farhad Arbab
- Languages alive : essays dedicated to Jürgen Dassow on the occasion of his 65th birthday
- Modeling and verification using UML statecharts : a working guide to reactive system design, runtime monitoring, and execution-based model checking
- Modeling in Event-B : system and software engineering
- Petri nets for systems engineering : a guide to modeling, verification, and applications
- Principles of cyber-physical systems
- Rigorous methods for software construction and analysis : essays dedicated to Egon Börger on the occasion of his 60th birthday
- Scalable techniques for formal verification
- Software specification methods
- Specification of software systems
- Subjective logic : a formalism for reasoning under uncertainty
- Symposium on real-time and hybrid systems : essays dedicated to Professor Chaochen Zhou on the occasion of his 80th birthday
- Teamwork in multi-agent systems : a formal approach
- The correctness-by-construction approach to programming
- The way of Z : practical programming with formal methods
- Theories of programming and formal methods : essays dedicated to Jifeng He on the occasion of his 70th birthday
- Theory and practice of formal methods : essays dedicated to Frank de Boer on the occasion of his 60th birthday
- Transactions on computational science XV : special issue on advances in autonomic computing: formal engineering methods for nature-inspired computing systems
- Understanding formal methods
- Using Event-B for critical device software systems
- Validated designs for object-oriented systems
- Verification of reactive systems : formal methods and algorithms
- Verification techniques for system-level design

## Embed (Experimental)

### Settings

Select options that apply then copy and paste the RDF/HTML data fragment to include in your application

Embed this data in a secure (HTTPS) page:

Layout options:

Include data citation:

<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.liverpool.ac.uk/resource/Md278guvts4/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.liverpool.ac.uk/resource/Md278guvts4/">Formal methods (Computer science)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.liverpool.ac.uk/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.liverpool.ac.uk/">University of Liverpool</a></span></span></span></span></div>

Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements

### Preview

## Cite Data - Experimental

### Data Citation of the Concept Formal methods (Computer science)

Copy and paste the following RDF/HTML data fragment to cite this resource

`<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.liverpool.ac.uk/resource/Md278guvts4/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.liverpool.ac.uk/resource/Md278guvts4/">Formal methods (Computer science)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.liverpool.ac.uk/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.liverpool.ac.uk/">University of Liverpool</a></span></span></span></span></div>`