Milos Besta
- Research Area(s)
- Algorithms and Theory
Google Publications
-
An Assertional Correctness Proof of a Self-Stabilizing l-Exclusion Algorithm
Milos Besta, Frank Stomp
11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06), IEEE CS (2006), pp. 199-208
Previous Publications
-
A Complete Mechanization of Correctness of a String-Preprocessing Algorithm
Milos Besta, Frank Stomp
Formal Methods in System Design, vol. 27 (2005), pp. 5-17
-
Mechanization of a Proof of String-Preprocessing in Boyer-Moore's Pattern Matching Algorithm
Milos Besta, Frank Stomp
8th International Conference on Engineering of Complex Computer Systems (ICECCS '02), IEEE CS (2002), pp. 68-77
