Showing 1 - 16 results of 16 for search 'Palikareva, H', query time: 0.02s
Refine Results
-
1
Techniques and tools for the verification of concurrent systems by Palikareva, H
Published 2012Thesis -
2
Faster FDR Counterexample Generation Using SAT−Solving by Palikareva, H, Ouaknine, J, Roscoe, A
Published 2009Journal article -
3
SAT−solving in CSP trace refinement by Palikareva, H, Ouaknine, J, Roscoe, A
Published 2011Journal article -
4
SAT solving in CSP trace refinement by Palikareva, H, Ouaknine, J, Roscoe, A
Published 2012Journal article -
5
SAT-solving in CSP trace refinement by Palikareva, H, Ouaknine, J, Roscoe, A
Published 2012Journal article -
6
SAT−Solving in CSP Trace Refinement by Palikareva, H, Ouaknine, J, Roscoe, A
Published 2012Journal article -
7
Static livelock analysis in CSP by Ouaknine, J, Palikareva, H, Roscoe, A, Worrell, J
Published 2011Book -
8
Static Livelock Analysis in CSP by Ouaknine, J, Palikareva, H, Roscoe, A, Worrell, J
Published 2011Journal article -
9
A Static Analysis Framework for Livelock Freedom in CSP by Ouaknine, J, Palikareva, H, Roscoe, A, Worrell, J
Published 2013Journal article -
10
A Static Analysis Framework for Livelock Freedom in CSP by Ouaknine, J, Palikareva, H, Roscoe, A, Worrell, J
Published 2012Journal article -
11
Static Livelock Analysis in CSP by Ouaknine, J, Palikareva, H, Roscoe, A, Worrell, J
Published 2011Journal article -
12
A Static Analysis Framework for Livelock Freedom in CSP by Ouaknine, J, Palikareva, H, Roscoe, A, Worrell, J
Published 2013Journal article -
13
Recent developments in FDR by Armstrong, P, Goldsmith, M, Lowe, G, Ouaknine, J, Palikareva, H, Roscoe, A, Worrell, J
Published 2012Conference item -
14
Recent developments in FDR by Armstrong, P, Goldsmith, M, Lowe, G, Ouaknine, J, Palikareva, H, Roscoe, A, Worrell, J
Published 2012Journal article -
15
Recent developments in FDR by Armstrong, P, Goldsmith, M, Lowe, G, Ouaknine, J, Palikareva, H, Roscoe, A, Worrell, J
Published 2012Journal article -
16
Recent Developments in FDR by Armstrong, P, Goldsmith, M, Lowe, G, Ouaknine, J, Palikareva, H, Roscoe, A, Worrell, J
Published 2012Conference item