Proceedings of the 3rd international workshop on bounded model checking (BMC 2005), Edinburgh, UK, July 11, 2005
zbMATH Open1272.68007MaRDI QIDQ368047FDOQ368047
Authors:
Publication date: 17 September 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: http://www.sciencedirect.com/science/journal/15710661/144/1
Recommendations
- BMC'2003. Proceedings of the first international workshop on bounded model checking, Boulder, CO, USA, July 13, 2003
- Proceedings of the 2nd international workshop on bounded model checking (BMC 2004), Boston, MA, USA, July 18, 2004
- Proceedings of the fourth international workshop on bounded model checking (BMC 2006), Seattle, WA, USA, August 15, 2006
- Bounded model checking and induction: From refutation to verification (extended abstract, Category A)
- Proceedings of the 3rd workshop on model checking and artificial intelligence (MoChArt 2005), San Francisco, CA, USA, August 27, 2005
- Termination criteria for bounded model checking: extensions and comparison
- PDMC 2003. Proceedings of the 2nd international workshop on parallel and distributed model checking (satellite workshop of CAV '03), Boulder, CO, USA, July 14, 2003
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60)
Cited In (2)
This page was built for publication: Proceedings of the 3rd international workshop on bounded model checking (BMC 2005), Edinburgh, UK, July 11, 2005
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q368047)
