I agree that this site is using cookies. You can find further informations here.
X
Hauzar, David
19  results:
Search for persons X
?
1

Instrumenting a weakest precondition calculus for counterex..:

Dailler, Sylvain ; Hauzar, David ; Marché, Claude.
Journal of Logical and Algebraic Methods in Programming.  99 (2018)  - p. 97-113 , 2018
Link: https://doi.org/10.1016/..
 
?
2

Formal Verification of Annotated Textual Use-Cases:

Simko, Viliam ; Hauzar, David ; Hnetynka, Petr..
The Computer Journal.  58 (2014)  7 - p. 1495-1529 , 2014
Link: https://doi.org/10.1093/..
 
?
3

Instrumenting a Weakest Precondition Calculus for Counterex..:

Dailler, Sylvain ; Hauzar, David ; Marché, Claude.
hal-01802488.  , 2018
Link: https://inria.hal.scienc..
 
?
4

Instrumenting a Weakest Precondition Calculus for Counterex..:

Dailler, Sylvain ; Hauzar, David ; Marché, Claude.
hal-01802488.  , 2018
Link: https://inria.hal.scienc..
 
?
5

Instrumenting a Weakest Precondition Calculus for Counterex..:

Dailler, Sylvain ; Hauzar, David ; Marché, Claude.
hal-01802488.  , 2018
Link: https://hal.inria.fr/hal..
 
?
6

Counterexamples from Proof Failures in SPARK:

Hauzar, David ; Marché, Claude ; Moy, Yannick
hal-01314885.  , 2016
Link: https://inria.hal.scienc..
 
?
7

Counterexamples from Proof Failures in SPARK:

Hauzar, David ; Marché, Claude ; Moy, Yannick
hal-01314885.  , 2016
Link: https://hal.inria.fr/hal..
 
?
8

Counterexamples from proof failures in the SPARK program ve..:

Hauzar, David ; Marché, Claude ; Moy, Yannick
Report N°: RR-8854.  , 2016
Link: https://inria.hal.scienc..
 
?
9

Counterexamples from proof failures in the SPARK program ve..:

Hauzar, David ; Marché, Claude ; Moy, Yannick
Report N°: RR-8854.  , 2016
Link: https://hal.inria.fr/hal..
 
?
10

Counterexamples from proof failures in the SPARK program ve..:

Hauzar, David ; Marché, Claude ; Moy, Yannick
Report N°: RR-8854.  , 2016
Link: https://inria.hal.scienc..
 
?
11

Counterexamples from Proof Failures in SPARK:

Hauzar, David ; Marché, Claude ; Moy, Yannick
hal-01314885.  , 2016
Link: https://inria.hal.scienc..
 
?
12

Framework for Static Analysis of PHP Applications (Artifact:

Hauzar, David ; Kofron, Jan
doi:10.4230/DARTS.1.1.11.  , 2015
Link: https://doi.org/10.4230/..
 
?
13

Framework for Static Analysis of PHP Applications:

Hauzar, David ; Kofron, Jan
Is Part Of LIPIcs, Volume 37, 29th European Conference on Object-Oriented Programming (ECOOP 2015).  , 2015
Link: https://doi.org/10.4230/..
 
?
14

Towards Static Analysis of Languages with Dynamic Features ..:

Hauzar, David
http://hdl.handle.net/20.500.11956/68903.  , 2014
Link: https://hdl.handle.net/2..
 
?
15

Data-flow Analysis of Programs with Associative Arrays:

Hauzar, David ; Kofroň, Jan ; Baštecký, Pavel
http://arxiv.org/abs/1405.1116.  , 2014
Link: http://arxiv.org/abs/140..
 
1-15