Search
“formal methods”
Business results
1–1 of 1More pages from the web
1–5 of 9-
kestrel.edu
Kestrel Institute
Technology for analysis and synthesis of high-assurance software applications Kestrel Institute is a non-profit computer science research institute. Our mission is to make formal methods work in practice. We develop and apply technology for synthesis a
-
archive.comlab.ox.ac.uk
OUCL Archive Service
Archive Service This is the OUCL archive service maintained at the Oxford University Computing Laboratory by Jonathan Bowen of the Centre for Applied Formal Methods, South Bank University. Part of the archive is accessible by anonymous FTP at ftp.comlab.
-
eschertech.com
Escher Technologies - reduce the cost of developing critical software
Home Tools Services Support News Company Contact Associates Publications Welcome Our company researches, develops and delivers tools for the efficient construction of provably correct software. Have you seen these posts in our C/C++ Verification Blog? Un
-
protsyk.com
Personal Web page of Petro Protsyk
Personal web page of Petro Protsyk, Certified .NET Developer (MCPD) and PhD Student. Petro Protsyk graduated from Kiev National University, faculty of Cybernetics. At the page you can find my CV, Projects, Photos, etc
-
rtss2001.sssup.it
RTSS 2001 Home page
RTSS 2001 The 22nd IEEE Real-Time Systems Symposium Savoy Place - London , UK December 3-6, 2001 Sponsored by The IEEE Computer Society Technical Committee on Real-Time Systems The IEE Institution of Electrical Engineers and The University of York Call for Papers Important dates Organizing Commitee Program Commitee Paper submission Workshop Work-in-Progress Session Keynote Speakers Technical