Search

Your search keyword '"Zbrzezny, Agnieszka M."' showing total 43 results

Search Constraints

Start Over You searched for: Author "Zbrzezny, Agnieszka M." Remove constraint Author: "Zbrzezny, Agnieszka M."
43 results on '"Zbrzezny, Agnieszka M."'

Search Results

1. Efficient Verification of Security Protocols Time Properties Using SMT Solvers

4. Simple SMT-Based Bounded Model Checking for Timed Interpreted Systems

6. Verifying Real-Time Properties of Multi-agent Systems via SMT-Based Bounded Model Checking

9. Checking WELTLK Properties of Weighted Interpreted Systems via SMT-Based Bounded Model Checking

11. SMT-Based Bounded Model Checking for Weighted Epistemic ECTL

14. Bounded Model Checking for Weighted Interpreted Systems and for Flat Weighted Epistemic Computation Tree Logic

17. SAT-Based Bounded Model Checking for Weighted Interpreted Systems and Weighted Linear Temporal Logic

23. Selected Methods of Model Checking Using SAT and SMT-Solvers

33. Practical Approach in Verification of Security Systems Using Satisfiability Modulo Theories.

40. Checking WECTLK Properties of TRWISs via SMT-based Bounded Model Checking

41. Checking WECTLK Properties of TRWISs via SMT-based Bounded Model Checking

43. SMT-based Searching for κ-quasi-optimal Runs in Weighted Timed Automata.

Catalog

Books, media, physical & digital resources