Symbolic Bounded Model Checking of Abstract State Machines
Margus Veanes, Nikolaj Bjørner, Yuri Gurevich, Wolfram Schulte
Int J Software Informatics | June 2009, pp. 149-170
Margus Veanes, Nikolaj Bjørner, Yuri Gurevich, Wolfram Schulte
Int J Software Informatics | June 2009, pp. 149-170
Margus Veanes, Nikolaj Bjørner
MSR-TR-2009-28 | March 2009
This is an extended version of a paper to appear in PSI'09, LNCS.
Margus Veanes, Ando Saabas
LPAR'08 | November 2008
LPAR'08
Margus Veanes, Ando Saabas
ABZ'08 | September 2008
This is an extended abstract.
Margus Veanes, Nikolaj Bjørner, Alexander Raschke
FORTE'08 | June 2008
FORTE'08
Margus Veanes, Ando Saabas, Nikolaj Bjørner
MSR-TR-2008-81 | May 2008
Parts of this report are presented at FORTE'08 and LPAR'08.
Margus Veanes, Colin Campbell, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Lev Nachmanson
Formal Methods and Testing | Published by Springer Verlag | 2008, Vol 4949
ISBN: 978-3-540-78916-1
The attached file is a preliminary version.
Yuri Gurevich, Margus Veanes, Charles Wallace
Theoretical Computer Science | January 2007, Vol 376: pp. 17-29
Andreas Blass, Yuri Gurevich, Lev Nachmanson, Margus Veanes
FATES 2005 | July 2005
Colin Campbell, Margus Veanes
Abstract State Machines 2005 | January 2005
Yuri Gurevich, Nikolai Tillmann
Theor. Comput. Sci. | January 2005, Vol 336: pp. 311-342
Yuri Gurevich, Benjamin Rossman, Wolfram Schulte
Theoretical Computer Science | January 2005, Vol 343(3): pp. 370-412
Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
January 2005
ISBN: 3-540-27882-6
Uwe Glässer, Yuri Gurevich, Margus Veanes
IEEE Transactions on Software Engineering | July 2004, Vol 30(7): pp. 458-472
Wolfgang Grieskamp, Nikolai Tillmann, Margus Veanes
Journal of Information and Software Technology | January 2004, Vol 46: pp. 1027-1036
Mike Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
FATES 2003 | January 2004
Mike Barnett, Wolfgang Grieskamp, Clemens Kerer, Wolfram Schulte, Clemens Szyperski, Nikolai Tillmann, Arthur Watson
Proceedings of the 6th ICSE Workshop on Component-Based Software Engineering: Automated Reasoning and Prediction | May 2003
Rostislav Yavorsky, Margus Veanes
ICSE 2003/Scenarios Workshop | January 2003
ICSE 2003/Scenarios Workshop
Mike Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
1st European Conference on Model-Driven Software Engineering | January 2003
Mike Barnett, Wolfram Schulte
The Journal of Systems and Software | January 2003, Vol 65(3): pp. 199-208
Wolfram Schulte, Nikolai Tillmann, Margus Veanes, Mike Barnett
QSIC | January 2003
QSIC
ISBN: 0-7695-2015-4
Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes
ISSTA 2002 | July 2002
Uwe Glässer, Yuri Gurevich, Margus Veanes
MSR-TR-2002-55 | May 2002
Uwe Glässer, Yuri Gurevich, Margus Veanes
HICSS 2002 | January 2002
Uwe Glässer, Margus Veanes
Design and Analysis of Distributed Embedded Systems, IFIP 17th World Computer Congress (DIPES 2002) | January 2002
U. Glässer, Y. Gurevich, M. Veanes, Yuri Gurevich, Margus Veanes
MSR-TR-2001-59 | June 2001
Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes
EUROCAST 2001 | February 2001
Mike Barnett, Wolfram Schulte
Informatica | November 2001, Vol 25(4): pp. 517-526
Yuri Gurevich, Wolfram Schulte, Margus Veanes
MSR-TR-2001-98 | October 2001
Yuri Gurevich, Wolfram Schulte, Margus Veanes, Mike Barnett
Abstract State Machines | January 2000
Abstract State Machines
ISBN: 3-540-67959-6
Margus Veanes, Nikolaj Bjørner, Yuri Gurevich, Wolfram Schulte
Int J Software Informatics | June 2009, pp. 149-170
Margus Veanes, Nikolaj Bjørner
MSR-TR-2009-28 | March 2009
This is an extended version of a paper to appear in PSI'09, LNCS.
U. Glässer, Y. Gurevich, M. Veanes, Yuri Gurevich, Margus Veanes
MSR-TR-2001-59 | June 2001
Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes
EUROCAST 2001 | February 2001
Yuri Gurevich, Wolfram Schulte, Margus Veanes, Mike Barnett
Abstract State Machines | January 2000
Abstract State Machines
ISBN: 3-540-67959-6
Margus Veanes, Nikolaj Bjørner, Yuri Gurevich, Wolfram Schulte
Int J Software Informatics | June 2009, pp. 149-170
Margus Veanes, Nikolaj Bjørner
MSR-TR-2009-28 | March 2009
This is an extended version of a paper to appear in PSI'09, LNCS.
Margus Veanes, Ando Saabas
LPAR'08 | November 2008
LPAR'08
Margus Veanes, Nikolaj Bjørner, Alexander Raschke
FORTE'08 | June 2008
FORTE'08
Margus Veanes, Ando Saabas, Nikolaj Bjørner
MSR-TR-2008-81 | May 2008
Parts of this report are presented at FORTE'08 and LPAR'08.
Margus Veanes, Colin Campbell, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Lev Nachmanson
Formal Methods and Testing | Published by Springer Verlag | 2008, Vol 4949
ISBN: 978-3-540-78916-1
The attached file is a preliminary version.
Yuri Gurevich, Margus Veanes, Charles Wallace
Theoretical Computer Science | January 2007, Vol 376: pp. 17-29
Andreas Blass, Yuri Gurevich, Lev Nachmanson, Margus Veanes
FATES 2005 | July 2005
Yuri Gurevich, Nikolai Tillmann
Theor. Comput. Sci. | January 2005, Vol 336: pp. 311-342
Colin Campbell, Margus Veanes
Abstract State Machines 2005 | January 2005
Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
January 2005
ISBN: 3-540-27882-6
Yuri Gurevich, Benjamin Rossman, Wolfram Schulte
Theoretical Computer Science | January 2005, Vol 343(3): pp. 370-412
Wolfgang Grieskamp, Nikolai Tillmann, Margus Veanes
Journal of Information and Software Technology | January 2004, Vol 46: pp. 1027-1036
Mike Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
FATES 2003 | January 2004
Mike Barnett, Wolfgang Grieskamp, Clemens Kerer, Wolfram Schulte, Clemens Szyperski, Nikolai Tillmann, Arthur Watson
Proceedings of the 6th ICSE Workshop on Component-Based Software Engineering: Automated Reasoning and Prediction | May 2003
Mike Barnett, Wolfram Schulte
The Journal of Systems and Software | January 2003, Vol 65(3): pp. 199-208
Mike Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
1st European Conference on Model-Driven Software Engineering | January 2003
Rostislav Yavorsky, Margus Veanes
ICSE 2003/Scenarios Workshop | January 2003
ICSE 2003/Scenarios Workshop
Wolfram Schulte, Nikolai Tillmann, Margus Veanes, Mike Barnett
QSIC | January 2003
QSIC
ISBN: 0-7695-2015-4
Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes
ISSTA 2002 | July 2002
Uwe Glässer, Yuri Gurevich, Margus Veanes
MSR-TR-2002-55 | May 2002
Uwe Glässer, Margus Veanes
Design and Analysis of Distributed Embedded Systems, IFIP 17th World Computer Congress (DIPES 2002) | January 2002
Uwe Glässer, Yuri Gurevich, Margus Veanes
HICSS 2002 | January 2002
Mike Barnett, Wolfram Schulte
Informatica | November 2001, Vol 25(4): pp. 517-526
Margus Veanes, Ando Saabas
ABZ'08 | September 2008
This is an extended abstract.
Yuri Gurevich, Wolfram Schulte, Margus Veanes
MSR-TR-2001-98 | October 2001
Uwe Glässer, Yuri Gurevich, Margus Veanes
IEEE Transactions on Software Engineering | July 2004, Vol 30(7): pp. 458-472
Margus Veanes, Nikolaj Bjørner, Yuri Gurevich, Wolfram Schulte
Int J Software Informatics | June 2009, pp. 149-170
Yuri Gurevich, Margus Veanes, Charles Wallace
Theoretical Computer Science | January 2007, Vol 376: pp. 17-29
Yuri Gurevich, Nikolai Tillmann
Theor. Comput. Sci. | January 2005, Vol 336: pp. 311-342
Yuri Gurevich, Benjamin Rossman, Wolfram Schulte
Theoretical Computer Science | January 2005, Vol 343(3): pp. 370-412
Uwe Glässer, Yuri Gurevich, Margus Veanes
IEEE Transactions on Software Engineering | July 2004, Vol 30(7): pp. 458-472
Wolfgang Grieskamp, Nikolai Tillmann, Margus Veanes
Journal of Information and Software Technology | January 2004, Vol 46: pp. 1027-1036
Mike Barnett, Wolfram Schulte
The Journal of Systems and Software | January 2003, Vol 65(3): pp. 199-208
Mike Barnett, Wolfram Schulte
Informatica | November 2001, Vol 25(4): pp. 517-526
U. Glässer, Y. Gurevich, M. Veanes, Yuri Gurevich, Margus Veanes
MSR-TR-2001-59 | June 2001
Margus Veanes, Nikolaj Bjørner
MSR-TR-2009-28 | March 2009
This is an extended version of a paper to appear in PSI'09, LNCS.
Margus Veanes, Ando Saabas, Nikolaj Bjørner
MSR-TR-2008-81 | May 2008
Parts of this report are presented at FORTE'08 and LPAR'08.
Uwe Glässer, Yuri Gurevich, Margus Veanes
MSR-TR-2002-55 | May 2002
Yuri Gurevich, Wolfram Schulte, Margus Veanes
MSR-TR-2001-98 | October 2001
Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes
EUROCAST 2001 | February 2001
Yuri Gurevich, Wolfram Schulte, Margus Veanes, Mike Barnett
Abstract State Machines | January 2000
Abstract State Machines
ISBN: 3-540-67959-6
Margus Veanes, Ando Saabas
LPAR'08 | November 2008
LPAR'08
Margus Veanes, Ando Saabas
ABZ'08 | September 2008
This is an extended abstract.
Margus Veanes, Nikolaj Bjørner, Alexander Raschke
FORTE'08 | June 2008
FORTE'08
Andreas Blass, Yuri Gurevich, Lev Nachmanson, Margus Veanes
FATES 2005 | July 2005
Colin Campbell, Margus Veanes
Abstract State Machines 2005 | January 2005
Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
January 2005
ISBN: 3-540-27882-6
Mike Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
FATES 2003 | January 2004
Mike Barnett, Wolfgang Grieskamp, Clemens Kerer, Wolfram Schulte, Clemens Szyperski, Nikolai Tillmann, Arthur Watson
Proceedings of the 6th ICSE Workshop on Component-Based Software Engineering: Automated Reasoning and Prediction | May 2003
Mike Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
1st European Conference on Model-Driven Software Engineering | January 2003
Rostislav Yavorsky, Margus Veanes
ICSE 2003/Scenarios Workshop | January 2003
ICSE 2003/Scenarios Workshop
Wolfram Schulte, Nikolai Tillmann, Margus Veanes, Mike Barnett
QSIC | January 2003
QSIC
ISBN: 0-7695-2015-4
Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes
ISSTA 2002 | July 2002
Uwe Glässer, Margus Veanes
Design and Analysis of Distributed Embedded Systems, IFIP 17th World Computer Congress (DIPES 2002) | January 2002
Uwe Glässer, Yuri Gurevich, Margus Veanes
HICSS 2002 | January 2002
Margus Veanes, Colin Campbell, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Lev Nachmanson
Formal Methods and Testing | Published by Springer Verlag | 2008, Vol 4949
ISBN: 978-3-540-78916-1
The attached file is a preliminary version.
Principal Researcher
Emeritus Researcher