FormulaBuilder
- 28 May 2006
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 815-818
- https://doi.org/10.1145/1134285.1134422
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- jMosel: A Stand-Alone Tool and jABC Plugin for M2L(Str)Lecture Notes in Computer Science, 2006
- Remote Integration and Coordination of Verification Tools in JETIPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Lightweight coarse-grained coordination: a scalable system-level approachInternational Journal on Software Tools for Technology Transfer, 2004
- PROPELPublished by Association for Computing Machinery (ACM) ,2002
- Model CheckingPublished by Elsevier BV ,2001
- BanderaPublished by Association for Computing Machinery (ACM) ,2000
- Patterns in property specifications for finite-state verificationPublished by Association for Computing Machinery (ACM) ,1999
- A graphical interval logic for specifying concurrent systemsACM Transactions on Software Engineering and Methodology, 1994
- Results on the propositional μ-calculusTheoretical Computer Science, 1983