Found: 10
Select item for more details and to access through your institution.
Swarm Verification Techniques.
- Published in:
- IEEE Transactions on Software Engineering, 2011, v. 37, n. 6, p. 845, doi. 10.1109/TSE.2010.110
- By:
- Publication type:
- Article
The Design of a Multicore Extension of the SPIN Model Checker.
- Published in:
- IEEE Transactions on Software Engineering, 2007, v. 33, n. 10, p. 659, doi. 10.1109/TSE.2007.70724
- By:
- Publication type:
- Article
An Automated Verification Method for Distributed Systems Software Based on Model Extraction.
- Published in:
- IEEE Transactions on Software Engineering, 2002, v. 28, n. 4, p. 364, doi. 10.1109/TSE.2002.995426
- By:
- Publication type:
- Article
Assertive Testing.
- Published in:
- IEEE Software, 2015, v. 32, n. 3, p. 12, doi. 10.1109/MS.2015.60
- By:
- Publication type:
- Article
Code Inflation.
- Published in:
- IEEE Software, 2015, v. 32, n. 2, p. 10, doi. 10.1109/MS.2015.40
- By:
- Publication type:
- Article
To Code Is Human.
- Published in:
- IEEE Software, 2015, v. 32, n. 1, p. 14, doi. 10.1109/MS.2015.19
- By:
- Publication type:
- Article
Fault Intolerance [Reliable Code].
- Published in:
- IEEE Software, 2014, v. 31, n. 6, p. 16, doi. 10.1109/MS.2014.136
- By:
- Publication type:
- Article
Software model checking: extracting verification models from source code<FNR>†</FNR><FN>An earlier version of this paper appeared in the Proceedings of FORTE XII/PSTV XIX, which was published as: Formal Methods for Protocol Engineering and Distributed Systems, Wu J, Chanson ST, Gao Q (eds.). Kluwer, 1999; 481–499. It is reproduced here in modified form with the permission of Kluwer Academic Publishers. </FN>
- Published in:
- Software Testing: Verification & Reliability, 2001, v. 11, n. 2, p. 65, doi. 10.1002/stvr.228
- By:
- Publication type:
- Article
Fighting livelock in the GNU i-protocol: a case study in explicit-state model checking.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2003, v. 4, n. 4, p. 505, doi. 10.1007/s10009-002-0092-3
- By:
- Publication type:
- Article
Programming event monitors.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 1, p. 33, doi. 10.1007/s10009-023-00706-1
- By:
- Publication type:
- Article