'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
- 2ercim.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
- 3ocamlpro.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
- 4jochen-hoenicke.de
Jochen Hoenicke
Homepage of Jochen Hoenicke
-
39.44
10.76
01:02
- 5lfcps.org
André Platzer @ Karlsruhe Institute of Technology
André Platzer is the Alexander von Humboldt Professor at Karlsruhe Institute of Technology. He develops logics for dynamical systems to characterize the logical foundations of cyber-physical systems and to answer the question how we can trust a computer to control physical processes.
-
47.27
2.52
00:45
- 6jhoenicke.de
Jochen Hoenicke
Homepage of Jochen Hoenicke
-
23.84
1.88
00:35
- 7rjetm.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
- 8max.fan
Max Fan
Hi, I'm Max Fan. I am first-year CS PhD student at Cornell University, working with Professor Justin Hsu. Previously I did by undergrad at the University of Illinois Urbana-Champaign (UIUC), where I did research under Professor Talia Ringer.
-
52.16
1.02
n/a
- 9chezpaul.org.uk
Paul's Home Page
A personal web site of Paul Trafford with information on spirituality and relgion, especially Buddhism and interfaith.
-
42.36
1.02
n/a
- 10eschertech.com
Escher Technologies - reducing the cost of developing critical software
-
36.66
1.15
n/a
- 11binsec.github.io
BINSEC
BINSEC: BINSEC
-
41.24
1.02
04:03
- 12zuser.org
Z User Group
The Z User Group exists to promote use and development of the Z notation, a formal specification language for computer-based systems.
-
n/a
0.00
n/a
- 13praxis-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
- 14symbolaris.com
André Platzer @ Karlsruhe Institute of Technology
André Platzer is the Alexander von Humboldt Professor at Karlsruhe Institute of Technology. He develops logics for dynamical systems to characterize the logical foundations of cyber-physical systems and to answer the question how we can trust a computer to control physical processes.
-
n/a
0.00
n/a
- 15kindsoftware.com
KindSoftware: Software Engineering with Applied Formal Methods
formal methods in software engineering
-
n/a
0.00
n/a
- 16funktory.com
Ƒ:υηκτοɤγ.com (the funktory.com startup)
Funktory.com is a start-up company in stealth mode. Apart of our secret project, we engage in indie game development and OCaml and Haskell consultancy.
-
n/a
0.00
n/a
- 17atcorp.com
Architecture Technology Corporation
Architecture Technology Corporation home page
-
n/a
3.00
n/a