Login / Signup
Lokanna Kadakolmath
ORCID
Publication Activity (10 Years)
Years Active: 2018-2024
Publications (10 Years): 2
Top Topics
Temporal Properties
Model Checking
Finite State Machines
Formal Verification
Top Venues
RAIT
Formal Aspects Comput.
</>
Publications
</>
Lokanna Kadakolmath
,
Umesh D. Ramu
iStar Goal Model to Z Formal Model Translation and Model Checking of CBTC Moving Block Interlocking System.
Formal Aspects Comput.
36 (1) (2024)
Rakesh Lingappa
,
Lokanna Kadakolmath
Modeling and formal verification of SMT rail interlocking system using PyNuSMV.
RAIT
(2018)