Software model checking with Clips interpreted Petri nets is presented in (Blaskovic & Randic, 2010).
What does SMC stand for?
SMC stands for Software Model Checking
This definition appears very rarely and is found in the following Acronym Finder categories:
- Information technology (IT) and computers
See other definitions of SMC
We have 798 other meanings of SMC in our Acronym Attic
- Smooth Muscle Cell
- Social Marginal Cost (economics)
- Social Marketing Company (Bangladesh)
- Social Media Club (various locations)
- Social Ministry Committee (various organizations)
- Société Marseillaise de Crédit (French bank)
- Société Mathématique du Canada (French: Canadian Mathematical Society)
- Society of Marine Consultants, Ltd.
- Society of Midwest Contesters (Amateur Radio organization in Illinois)
- Software Maintenance Concept
- Solaris Management Console
- Somerset Medical Center (New Jersey)
- SONET Minimum Clock (SONET)
- Sonic Mega Collection (video game)
- Sony Mobile Communications (Japan)
- Sony Movie Channel
- Souderton Mennonite Church (Souderton, PA)
- South Western Michigan College
- Southeast Mennonite Conference (Sarasota, FL)
- Southern Maryland Chapter (various organizations)
Samples in periodicals archive:
Their innovative use of symbolic execution, software model checking and string analysis to analyze industrial scale web-based systems is a major advance in the field.
Logics and automata for software model checking, compensable transactions, verification and synthesis of reactive programs, and cryptographic protocols are some areas examined.