'Formal methods' trends

Domains containing the tag 'Formal methods'

Bounce ratePages / VisitVisit duration

1ercim.eu
ERCIM - the European Research Consortium for Informatics and Mathematics
ERCIM - The European Research Consortium for Informatics and Mathematics

n/a 1.50 n/a

2jochen-hoenicke.de
Homepage of Jochen Hoenicke

n/a 1.80 n/a

3ercim.org
ERCIM - the European Research Consortium for Informatics and Mathematics
ERCIM - The European Research Consortium for Informatics and Mathematics

n/a 1.70 n/a

4ocamlpro.com
Harnessing Cutting-Edge Technologies | OCamlPro
OCamlPro tackles complex design challenges (blockchains, Domain Specific Languages) notably with the use of formal methods. For that purpose, we promote the use of state-of-the-art programming languages like OCaml and Rust.

68.12 1.76 34:47

5jhoenicke.de
Jochen Hoenicke
Homepage of Jochen Hoenicke

23.84 1.88 00:35

6rjetm.in
Research Journal of Engineering Technology and Medical Sciences (RJETM)
Research Journal of Engineering Technology and Medical Sciences RJETM is an open access journal, which aims to provide and encourage the scholars and academicians globally to share their knowledge in the fields of Engineering, Technology and its related areas.

33.53 0.13 n/a

7praxis-his.com
Praxis High Integrity Systems : Software, Safety and Requirements Engineering, UK
The Foremost International Specialist in Critical Systems Engineering. Based in Bath, London and Loughborough in the UK and Paris, France.

n/a 3.00 n/a

8atcorp.com
Architecture Technology Corporation
Architecture Technology Corporation home page

n/a 3.00 n/a

9kindsoftware.com
KindSoftware: Software Engineering with Applied Formal Methods
formal methods in software engineering

n/a 0.00 n/a