Abstract Read Permissions: Fractional Permissions without the Fractions
Stefan Heule, Rustan Leino, Peter Müller, Alexander J. Summers
Proceedings 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013 | January 2013
论文与出版物
-
-
-
-
Stepwise Refinement of Heap-Manipulating Code in Chalice
Rustan Leino, Kuat Yessenov
December 2011
-
Fractional Permissions without the Fractions
Stefan Heule, Rustan Leino, Peter Müller, Alexander J. Summers
FTfJP'11, July 26, 2011, Lancaster, UK. | July 2011
-
-
-
Deadlock-Free Channels and Locks
Rustan Leino, Peter Müller (ETH Zurich), Jan Smans (KU Leuven)
ESOP 2010, Paphos, Cyprus | March 2010
-
Verifying Concurrent Programs with Chalice
Rustan Leino, Peter Müller (ETH Zurich), Jan Smans (KU Leuven)
VMCAI, Madrid, Spain | January 2010
-
-
-
A Foundation for Verifying Concurrent Programs (Lecture 1)
Rustan Leino, Peter Müller, Jan Smans
FOSAD 2009, Bertinoro, Italy | September 2009
-
A Foundation for Verifying Concurrent Programs (Lecture 0)
Rustan Leino, Peter Müller, Jan Smans
FOSAD 2009, Bertinoro, Italy | September 2009
-
Verification of Concurrent Programs with Chalice
Rustan Leino, Peter Müller, Jan Smans
Foundations of Security Analysis and Design V | June 2009
-
A Basis for Verifying Multi-Threaded Programs
Rustan Leino, Peter Müller
ESOP '09 Proceedings of the 18th European Symposium on Programming Languages and Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009 | March 2009
-
-
-
Abstract Read Permissions: Fractional Permissions without the Fractions
Stefan Heule, Rustan Leino, Peter Müller, Alexander J. Summers
Proceedings 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013 | January 2013
-
Stepwise Refinement of Heap-Manipulating Code in Chalice
Rustan Leino, Kuat Yessenov
December 2011
-
Fractional Permissions without the Fractions
Stefan Heule, Rustan Leino, Peter Müller, Alexander J. Summers
FTfJP'11, July 26, 2011, Lancaster, UK. | July 2011
-
Deadlock-Free Channels and Locks
Rustan Leino, Peter Müller (ETH Zurich), Jan Smans (KU Leuven)
ESOP 2010, Paphos, Cyprus | March 2010
-
Verifying Concurrent Programs with Chalice
Rustan Leino, Peter Müller (ETH Zurich), Jan Smans (KU Leuven)
VMCAI, Madrid, Spain | January 2010
-
A Foundation for Verifying Concurrent Programs (Lecture 1)
Rustan Leino, Peter Müller, Jan Smans
FOSAD 2009, Bertinoro, Italy | September 2009
-
A Foundation for Verifying Concurrent Programs (Lecture 0)
Rustan Leino, Peter Müller, Jan Smans
FOSAD 2009, Bertinoro, Italy | September 2009
-
Verification of Concurrent Programs with Chalice
Rustan Leino, Peter Müller, Jan Smans
Foundations of Security Analysis and Design V | June 2009
-
A Basis for Verifying Multi-Threaded Programs
Rustan Leino, Peter Müller
ESOP '09 Proceedings of the 18th European Symposium on Programming Languages and Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009 | March 2009
-
-
-
Abstract Read Permissions: Fractional Permissions without the Fractions
Stefan Heule, Rustan Leino, Peter Müller, Alexander J. Summers
Proceedings 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013 | January 2013
-
Stepwise Refinement of Heap-Manipulating Code in Chalice
Rustan Leino, Kuat Yessenov
December 2011
-
Fractional Permissions without the Fractions
Stefan Heule, Rustan Leino, Peter Müller, Alexander J. Summers
FTfJP'11, July 26, 2011, Lancaster, UK. | July 2011
-
Deadlock-Free Channels and Locks
Rustan Leino, Peter Müller (ETH Zurich), Jan Smans (KU Leuven)
ESOP 2010, Paphos, Cyprus | March 2010
-
Verifying Concurrent Programs with Chalice
Rustan Leino, Peter Müller (ETH Zurich), Jan Smans (KU Leuven)
VMCAI, Madrid, Spain | January 2010
-
A Foundation for Verifying Concurrent Programs (Lecture 1)
Rustan Leino, Peter Müller, Jan Smans
FOSAD 2009, Bertinoro, Italy | September 2009
-
A Foundation for Verifying Concurrent Programs (Lecture 0)
Rustan Leino, Peter Müller, Jan Smans
FOSAD 2009, Bertinoro, Italy | September 2009
-
Verification of Concurrent Programs with Chalice
Rustan Leino, Peter Müller, Jan Smans
Foundations of Security Analysis and Design V | June 2009
-
A Basis for Verifying Multi-Threaded Programs
Rustan Leino, Peter Müller
ESOP '09 Proceedings of the 18th European Symposium on Programming Languages and Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009 | March 2009
-