Abbrevation
TACAS
City
Braga
Country
Portugal
Deadline Paper
Start Date
End Date
Abstract

TACAS is a forum for researchers, developers and users interested in rigorously based tools and algorithms for the construction and analysis of systems&#046; The conference serves to bridge the gaps between different communities that share common interests in, and techniques for, tool development and its algorithmic foundations&#046; The research areas covered by such communities include but are not limited to formal methods, software and hardware verification, static analysis, programming languages, software engineering, real&#8211;time systems, communications protocols, and biological systems&#046; The TACAS forum provides a venue for such communities at which common problems, heuristics, algorithms, data structures and methodologies can be discussed and explored&#046; In doing so, TACAS aims to support researchers in their quest to improve the utility, reliability, flexibility and efficiency of tools and algorithms for building systems&#046;<br><b>Keywords:</b> * Specification and verification techniques for finite and infinite&#8211;state systems<br>* Software and hardware verification<br>* Theorem&#8211;proving and model&#8211;checking<br>* System construction and transformation techniques<br>* Static and run&#8211;time analysis<br>* Abstraction techniques for modeling and validation<br>* Compositional and refinement&#8211;based methodologies<br>* Testing and test&#8211;case generation<br>* Analytical techniques for secure, real&#8211;time, hybrid, critical, biological or dependable systems<br>* Integration of formal methods and static analysis in high&#8211;level hardware design or software environments<br>* Tool environments and tool architectures<br>* SAT solvers<br>* Applications and case studies<br>