Travelled to:1 × Canada
1 × Portugal
Collaborated with:S.Tripakis ∅ M.Bozga O.Maler A.Olivero S.Yovine
Talks about:model (3) check (3) time (3) real (3) system (2) tool (2) reachabl (1) properti (1) optikron (1) abstract (1)
Person: Conrado Daws
DBLP: Daws:Conrado
Contributed to:
1998
1998Wrote 3 papers:
- CAV-1998-BozgaDMOTY #model checking #named #realtime
- Kronos: A Model-Checking Tool for Real-Time Systems (MB, CD, OM, AO, ST, SY), pp. 546–550.
- CAV-1998-Daws #model checking #named #realtime
- Optikron: A Tool Suite for Enhancing Model-Checking of Real-Time Systems (CD), pp. 542–545.
- TACAS-1998-DawsT #abstraction #model checking #reachability #realtime #using
- Model Checking of Real-Time Reachability Properties Using Abstractions (CD, ST), pp. 313–329.