Powered by
2013 European Joint Conferences on Theory and Practice of Software (ETAPS),
March 16–24, 2013,
Rome, Italy
TACAS 2013
Markov Chains
Mon, Mar 18, 11:00 - 12:30, Room B1 (Chair: Joost-Pieter Katoen)
Termination and Quantifier Elmination
Mon, Mar 18, 14:00 - 15:30, Room B1 (Chair: Saddek Bensalem)
SAT/SMT
Mon, Mar 18, 16:00 - 18:00, Room B1 (Chair: Orna Grumberg)
The MathSAT5 SMT Solver
Roberto Sebastiani
(FBK-irst, Italy; FBK-IRST, Italy; DISI, University of Trento and FBK-IRST, Italy; DISI, University of Trento, Italy)
Games & Synthesis and Process Algebra
Tue, Mar 19, 10:30 - 12:30, Room B1 (Chair: Barbara König)
Ins and outs of the mCRL2 toolset
Tim Willemse
(Eindhoven University of Technologoy, Netherlands; Eindhoven University of Technology, Netherlands; Eindhoven Universtiy of Technology, Netherlands)
Pushdown Systems
Tue, Mar 19, 14:00 - 15:30, Room B1 (Chair: Axel Legay)
Runtime Verification and Model Checking
Tue, Mar 19, 16:00 - 18:00, Room B1 (Chair: Natasha Sharygina)
Concurrency and Learning & Abduction
Wed, Mar 20, 10:30 - 12:30, Room B1 (Chair: Corina Pasareanu)
Timed Automata
Wed, Mar 20, 15:00 - 16:00, Room B1 (Chair: Kim Larsen)
Security and Access Control
Wed, Mar 20, 16:30 - 18:00, Room B1 (Chair: Catuscia Palamidessi)
Frontiers and Functional Programs & Types
Thu, Mar 21, 10:30 - 12:30, Room B1 (Chair: Nir Piterman)
Tool Demos
Thu, Mar 21, 15:00 - 16:00, Room B1 (Chair: Laurie Hendren)
Explicit State Model Checking and Büchi Automata
Thu, Mar 21, 16:30 - 18:00, Room B1 (Chair: Andrey Rybalchenko)
2nd Competition on Software Verification (SV-COMP)
Thu, Mar 21, 10:30 - 12:30, Room A1 (Chair: Dirk Beyer)
proc time: 0.05