TACAS 2008

Deadlines

2007-12-07

2007-10-12

12 Oct 2007

Paper

7 Dec 2007

Notification

organization

Eötvös Loránd University

organization

John von Neumann University

Metrics

Submitted Papers

32

Accepted Papers

12

Venue

Grand Hotel Margitsziget, Budapest, Hungary

Loading map...

{"minzoom":false,"maxzoom":false,"mappingservice":"leaflet","width":"auto","height":"350px","centre":false,"title":"","label":"","icon":"","lines":[],"polygons":[],"circles":[],"rectangles":[],"copycoords":false,"static":false,"zoom":false,"defzoom":14,"layers":["OpenStreetMap"],"image layers":[],"overlays":[],"resizable":false,"fullscreen":false,"scrollwheelzoom":true,"cluster":false,"clustermaxzoom":20,"clusterzoomonclick":true,"clustermaxradius":80,"clusterspiderfy":true,"geojson":"","clicktarget":"","imageLayers":[],"locations":[{"text":"","title":"","link":"","lat":47.532477400000005,"lon":19.052723397648748,"icon":""}],"imageoverlays":null}

The 14. International Conference on Tools and Algorithms for the Construction and Analysis of Systemss (TACAS) 2008

Topics

• Specification and verification techniques for finite and infinite-state systems
• Software and hardware verification
• Theorem-proving and model-checking
• System construction and transformation techniques
• Static and run-time analysis
• Abstraction techniques for modeling and validation
• Compositional and refinement-based methodologies
• Testing and test-case generation
• Analytical techniques for secure, real-time, hybrid, critical, biological or dependable systems
• Integration of formal methods and static analysis in high-level hardware design or software environments
• Tool environments and tool architectures
• SAT solvers
• Applications and case studies