Sign in
Johannes Meuer
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 1
Top Topics
Linear Temporal Logic
Decision Problems
Software Design
Bounded Model Checking
Top Venues
ICFEM
</>
Publications
</>
Marko Kleine Büning
,
Johannes Meuer
,
Carsten Sinz
Refined Modularization for Bounded Model Checking Through Precondition Generation.
ICFEM
(2022)