Login / Signup
Mihai Florian
Publication Activity (10 Years)
Years Active: 2011-2012
Publications (10 Years): 0
Top Topics
Cl Pc
Automated Verification
Linear Temporal Logic
Coalition Logic
Top Venues
Infotech@Aerospace
</>
Publications
</>
Mihai Florian
,
Edward B. Gamble
,
Gerard J. Holzmann
Logic Model Checking of Time-Periodic Real-Time Systems.
Infotech@Aerospace
(2012)
Gerard J. Holzmann
,
Mihai Florian
Model checking with bounded context switching.
Formal Aspects Comput.
23 (3) (2011)
Mihai Florian
A Framework for Systematic Testing of Multi-threaded Applications.
PRDC
(2011)