18. TACAS 2012:
Tallinn, Estonia (Part of ETAPS 2012) Cormac Flanagan , Barbara König (Eds.):
Tools and Algorithms for the Construction and Analysis of Systems - 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings.
Lecture Notes in Computer Science 7214 Springer 2012, ISBN 978-3-642-28755-8 Invited Contribution
export record as
dblp key:
SAT and SMT Based Methods
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Automata
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Model Checking
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Frédéric Lang ,
Radu Mateescu :
Partial Model Checking Using Networks of Labelled Transition Systems and Boolean Equation Systems.
141-156
export record as
dblp key:
conf/tacas/AlbarghouthiGC12
Case Studies
export record as
dblp key:
conf/tacas/FehnkerGHMPT12 export record as
dblp key:
Memory Models and Termination
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Internet Protocol Verification
export record as
dblp key:
conf/tacas/ArmandoAABCCCCCCEFMMOPPRRDTV12 Alessandro Armando ,
Wihem Arsac ,
Tigran Avanesov ,
Michele Barletta ,
Alberto Calvi ,
Alessandro Cappai ,
Roberto Carbone ,
Yannick Chevalier ,
Luca Compagna ,
Jorge Cuéllar ,
Gabriel Erzse ,
Simone Frau ,
Marius Minea ,
Sebastian Mödersheim ,
David von Oheimb ,
Giancarlo Pellegrino ,
Serena Elisa Ponta ,
Marco Rocchetto ,
Michaël Rusinowitch ,
Mohammad Torabi Dashti ,
Mathieu Turuani ,
Luca Viganò :
The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures.
267-282
export record as
dblp key:
Stochastic Model Checking
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Synthesis
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Provers and Analysis Techniques
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Tool Demonstrations
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Competition on Software Verification
export record as
dblp key:
Dirk Beyer :
Competition on Software Verification - (SV-COMP).
504-524
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Daniel Wonisch :
Block Abstraction Memoization for CPAchecker - (Competition Contribution).
531-533
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/tacas/GrebenshchikovGLPR12 export record as
dblp key:
export record as
dblp key:
conf/tacas/WeissenbacherKM12
data released under the ODC-BY 1.0 license
