Verification of concurrent systems: function and timing
- Author:
- William T. Overman
Abstract
No abstract available.
Cited By
- Laarman A, Pater E, Pol J and Hansen H (2016). Guard-based partial-order reduction, International Journal on Software Tools for Technology Transfer (STTT), 18:4, (427-448), Online publication date: 1-Aug-2016.
Coons K, Musuvathi M and McKinley K (2013). Bounded partial-order reduction, ACM SIGPLAN Notices, 48:10, (833-848), Online publication date: 12-Nov-2013.- Coons K, Musuvathi M and McKinley K Bounded partial-order reduction Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications, (833-848)
- Coons K, Burckhardt S and Musuvathi M GAMBIT Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, (15-24)
- Coons K, Burckhardt S and Musuvathi M (2010). GAMBIT, ACM SIGPLAN Notices, 45:5, (15-24), Online publication date: 1-May-2010.
- Bošnački D, Leue S and Lafuente A Partial-Order reduction for general state exploring algorithms Proceedings of the 13th international conference on Model Checking Software, (271-287)
- Godefroid P (2018). Software Model Checking, Formal Methods in System Design, 26:2, (77-101), Online publication date: 1-Mar-2005.
- Bošnački D and Holzmann G Improving spin's partial-order reduction for breadth-first search Proceedings of the 12th international conference on Model Checking Software, (91-105)
- Basten T, Bošnački D and Geilen M (2019). Cluster-Based Partial-Order Reduction, Automated Software Engineering, 11:4, (365-402), Online publication date: 1-Oct-2004.
- Herbreteau F, Cassez F and Roux O (2018). Application of Partial-Order Methods to Reactive Programswith Event Memorization, Real-Time Systems, 20:3, (287-316), Online publication date: 1-May-2001.
- Basten T and Bosnacki D Enhancing Partial-Order Reduction via Process Clustering Proceedings of the 16th IEEE international conference on Automated software engineering
- Godefroid P Model checking for programming languages using VeriSoft Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (174-186)
- Godefroid P, Peled D and Staskauskas M (1996). Using partial-order methods in the formal validation of industrial concurrent programs, ACM SIGSOFT Software Engineering Notes, 21:3, (261-269), Online publication date: 1-May-1996.
- Godefroid P, Peled D and Staskauskas M Using partial-order methods in the formal validation of industrial concurrent programs Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis, (261-269)
- Godefroid P, Peled D and Staskauskas M (1996). Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs, IEEE Transactions on Software Engineering, 22:7, (496-507), Online publication date: 1-Jul-1996.
- Estrin G SARA in the design room Proceedings of the 1985 ACM thirteenth annual conference on Computer Science, (1-12)
- Parker A, Kurdahi F and Mlinar M A general methodology for synthesis and verification of register-transfer designs Proceedings of the 21st Design Automation Conference, (329-335)
Recommendations
Efficient Verification of Sequential and Concurrent C Programs
There has been considerable progress in the domain of software verification over the last few years. This advancement has been driven, to a large extent, by the emergence of powerful yet automated abstraction techniques such as predicate abstraction. ...