7 found
Order:
  1.  14
    Checking EMTLK Properties of Timed Interpreted Systems Via Bounded Model Checking.Bożena Woźna-Szcześniak & Andrzej Zbrzezny - 2016 - Studia Logica 104 (4):641-678.
    We investigate a SAT-based bounded model checking method for EMTLK that is interpreted over timed models generated by timed interpreted systems. In particular, we translate the existential model checking problem for EMTLK to the existential model checking problem for a variant of linear temporal logic, and we provide a SAT-based BMC technique for HLTLK. We evaluated the performance of our BMC by means of a variant of a timed generic pipeline paradigm scenario and a timed train controller system.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  12
    The hilbert type axiomatization of some three‐valued propositional logic.Andrzej Zbrzezny - 1990 - Mathematical Logic Quarterly 36 (5):415-421.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  16
    Sat-based verification of security protocols via translation to networks of automata.Mirosław Kurkowski, Wojciech Penczek & Andrzej Zbrzezny - 2007 - In A. Lomuscio & S. Edelkamp (eds.), Model Checking and Artificial Intelligence. Springer. pp. 146--165.
  4.  29
    Bounded model checking real-time multi-agent systems with clock differences: theory and implementation.Alessio Lomuscio, Bożena Woźna & Andrzej Zbrzezny - 2007 - In A. Lomuscio & S. Edelkamp (eds.), Model Checking and Artificial Intelligence. Springer. pp. 95--112.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5. Rozum jest wolny.Andrzej Zbrzezny - 2003 - Etyka 36:236-242.
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  16
    The Gentzen Type Axiomatization of Some Three-valued Propositional Logic.Andrzej Zbrzezny - 1988 - Bulletin of the Section of Logic 17 (2):70-73.
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  22
    The hilbert type axiomatization of some three-valued propositional logic.Andrzej Zbrzezny - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (5):415-421.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation