32032 search results - page 85 / 6407 » Verified programming in Guru |
92
Voted
LOGCOM
1998
15 years 13 days ago
1998
A sequent calculus of a new sort is extracted from the Prolog program leanTAP. This calculus is sound and complete, even though it lacks almost all structural rules. Thinking of l...
106
Voted
ICALP
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. We present a method for verifying measurement-based quantum computations, by producing a quantum circuit equivalent to a given deterministic measurement pattern. We defin...
102
Voted
ENDM
2010
14 years 10 months ago
2010
In this paper we consider the structural analysis problem for differential-algebraic systems with conditional equations. This consists, given a conditional differential algebraic ...
100
Voted
ESOP
2010
Springer
15 years 10 months ago
2010
Springer
Proving software free of security bugs is hard. Languages that ensure that programs correctly enforce their security policies would help, but, to date, no security-typed language h...
120
Voted
ICSM
2009
IEEE
15 years 7 months ago
2009
IEEE
Model checking is a promising technique for verifying program behavior and is increasingly finding usage in industry. To date, however, researchers have primarily considered mode...