Kleene Algebra and Bytecode Verification

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2005.02.028 ◽

2005 ◽

Vol 141 (1) ◽

pp. 221-236 ◽

Author(s):

Łucja Kot ◽

Dexter Kozen

Keyword(s):

Bytecode Verification ◽

Download Full-text

Endowing Concurrent Kleene Algebra with Communication Actions

Relational and Algebraic Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-319-06251-8_2 ◽

2014 ◽

pp. 19-36 ◽

Author(s):

Jason Jaskolka ◽

Ridha Khedri ◽

Qinglei Zhang

Keyword(s):

Download Full-text

Towards Interactive Verification of Programmable Logic Controllers Using Modal Kleene Algebra and KIV

Relational and Algebraic Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-319-24704-5_15 ◽

2015 ◽

pp. 241-256 ◽

Author(s):

Roland Glück ◽

Florian Benedikt Krebs

Keyword(s):

Programmable Logic ◽

Programmable Logic Controllers ◽

Kleene Algebra ◽

Logic Controllers

Download Full-text

An Event Structure Model for Probabilistic Concurrent Kleene Algebra

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-642-45221-5_43 ◽

2013 ◽

pp. 653-667 ◽

Author(s):

Annabelle McIver ◽

Tahiry Rabehaja ◽

Georg Struth

Keyword(s):

Event Structure ◽

Structure Model ◽

Download Full-text

Position Automata for Kleene Algebra with Tests

Scientific Annals of Computer Science ◽

10.7561/sacs.2012.2.367 ◽

2012 ◽

pp. 367-394 ◽

Author(s):

Alexandra Silva

Keyword(s):

Download Full-text

Deciding Synchronous Kleene Algebra with Derivatives

Implementation and Application of Automata - Lecture Notes in Computer Science ◽

10.1007/978-3-319-22360-5_5 ◽

2015 ◽

pp. 49-62 ◽

Author(s):

Sabine Broda ◽

Sílvia Cavadas ◽

Miguel Ferreira ◽

Nelma Moreira

Keyword(s):

Download Full-text

Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra

Relational and Algebraic Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-030-02149-8_13 ◽

2018 ◽

pp. 205-224 ◽

Author(s):

Simon Foster ◽

Kangfeng Ye ◽

Ana Cavalcanti ◽

Jim Woodcock

Keyword(s):

Kleene Algebra ◽

Reactive Programs

Download Full-text

Decomposing bytecode verification by abstract interpretation

ACM Transactions on Programming Languages and Systems ◽

10.1145/1452044.1452047 ◽

2008 ◽

Vol 31 (1) ◽

pp. 1-63 ◽

Author(s):

C. Bernardeschi ◽

N. De Francesco ◽

G. Lettieri ◽

L. Martini ◽

P. Masci

Keyword(s):

Abstract Interpretation ◽

Bytecode Verification

Download Full-text

An Improved Bytecode Verification Algorithm on Java Card

2009 International Conference on Computational Intelligence and Security ◽

10.1109/cis.2009.193 ◽

2009 ◽

Author(s):

Ya Ping Chi ◽

Zhao Bin Li ◽

Zhong Hua Wang ◽

Yong Fang

Keyword(s):

Bytecode Verification ◽

Verification Algorithm ◽

Download Full-text

Concurrent Kleene Algebra

CONCUR 2009 - Concurrency Theory - Lecture Notes in Computer Science ◽

10.1007/978-3-642-04081-8_27 ◽

2009 ◽

pp. 399-414 ◽

Author(s):

C. A. R. Tony Hoare ◽

Bernhard Möller ◽

Georg Struth ◽

Ian Wehrman

Keyword(s):

Download Full-text

Towards Kleene Algebra with recursion

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/bfb0023771 ◽

2005 ◽

pp. 242-256 ◽

Author(s):

Haas Leiß

Keyword(s):

Download Full-text